Skip to content

Commit 7051223

Browse files
authored
Remove res_syntax/compiler-libs-406 (#5886)
* Remove res_syntax/compiler-libs-406 * napkin -> syntax
1 parent 04eb5bd commit 7051223

File tree

188 files changed

+14
-73564
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

188 files changed

+14
-73564
lines changed

Makefile

+1-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ test-gentype: build
3939
test-all: test test-gentype
4040

4141
reanalyze:
42-
reanalyze.exe -set-exit-code -all-cmt _build/default/res_syntax -suppress res_syntax/testrunner,res_syntax/compiler-libs-406 -exclude-paths res_syntax/compiler-libs-406
42+
reanalyze.exe -set-exit-code -all-cmt _build/default/res_syntax -suppress res_syntax/testrunner
4343

4444
lib: build ninja/ninja
4545
dune exec -- node scripts/ninja.js config

jscomp/bsc/dune

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,5 +3,5 @@
33
(public_name bsc)
44
(flags
55
(:standard -w +a-4-9-30-40-41-42-48-70))
6-
(libraries common core depends gentype js_parser napkin super_errors
6+
(libraries common core depends gentype js_parser syntax super_errors
77
outcome_printer))

jscomp/common/dune

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,4 +6,4 @@
66
(run %{bin:cppo} %{env:CPPO_FLAGS=} %{input-file})))
77
(flags
88
(:standard -w +a-9-40-42))
9-
(libraries napkin))
9+
(libraries syntax))

jscomp/napkin/.gitignore

-3
This file was deleted.

jscomp/napkin/dune

-8
This file was deleted.

res_syntax/benchmarks/dune

+2-2
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,10 @@
1111
(= %{system} linux_eabihf)
1212
(= %{system} linux_eabi)))
1313
(flags
14-
(-open Syntax -open Compilerlibs406))
14+
(:standard -w +a-4-40-42-70))
1515
(foreign_stubs
1616
(language c)
1717
(names time))
18-
(libraries syntax compilerlibs406))
18+
(libraries syntax))
1919

2020
(data_only_dirs data)

res_syntax/cli/dune

+1-2
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,5 @@
22
(name res_cli)
33
(public_name res_parser)
44
(flags
5-
(-open Syntax -open Compilerlibs406)
65
(:standard -w +a-4-42-40-9-48-70))
7-
(libraries syntax compilerlibs406))
6+
(libraries syntax))

res_syntax/compiler-libs-406/annot.mli

-24
This file was deleted.

res_syntax/compiler-libs-406/arg_helper.ml

-127
This file was deleted.

res_syntax/compiler-libs-406/arg_helper.mli

-63
This file was deleted.

0 commit comments

Comments
 (0)