Merge branch 'js_of_ocaml' of https://github.com/resource-reasoning/jscert_dev into js_of_ocaml

generator/Makefile

@@ -6,17 +6,13 @@
 # OCAMLBIN=~/shared/ocamleasy/bin/
 # OCAMLLIB=~/shared/ocamleasy/lib
 
-ML_DIRS     := parsing typing utils stdlib_ml
-LIB_DEP	    := str.cma
 STD_DIR	    := stdlib_ml
 TEST_DIR    := tests
 TEST_DIR_JS := tests/js
 ML_TESTS    := $(wildcard $(TEST_DIR)/*.ml)
 
 CC          := ocamlc -c
-OCAMLBUILD  := ocamlbuild -r -j 4 -classic-display \
-	           $(addprefix -lflag , $(LIB_DEP) -g) \
-	           $(addprefix -I ,$(ML_DIRS)) \
+OCAMLBUILD  := ocamlbuild -j 4 -classic-display -use-ocamlfind
 
 all: main.byte
 

generator/_tags

+true: package(str)
+<parsing>: include
+<typing>: include
+<utils>: include
+
+<tests>: precious
+<stdlib_ml>: precious