Skip to content

Commit e501d7d

Browse files
committed
Update build infrastructure significantly
1 parent bee734f commit e501d7d

File tree

7 files changed

+7477
-32
lines changed

7 files changed

+7477
-32
lines changed

_tags

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
# OASIS_START
2+
# DO NOT EDIT (digest: b8c02e1216b30baf1ecf53390bc3a342)
3+
# Ignore VCS directories, you can use the same kind of rule outside
4+
# OASIS_START/STOP if you want to exclude directories that contains
5+
# useless stuff for the build process
6+
true: annot, bin_annot
7+
<**/.svn>: -traverse
8+
<**/.svn>: not_hygienic
9+
".bzr": -traverse
10+
".bzr": not_hygienic
11+
".hg": -traverse
12+
".hg": not_hygienic
13+
".git": -traverse
14+
".git": not_hygienic
15+
"_darcs": -traverse
16+
"_darcs": not_hygienic
17+
# Library nodejs
18+
"src/nodejs.cmxs": use_nodejs
19+
<src/*.ml{,i,y}>: pkg_js_of_ocaml
20+
<src/*.ml{,i,y}>: pkg_js_of_ocaml.ppx
21+
<src/*.ml{,i,y}>: pkg_yojson
22+
# OASIS_STOP
23+
"examples/node_modules": not_hygienic

0 commit comments

Comments
 (0)