X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=Remakefile.in;h=c1f2b251a21d589c3958ec03c27f014a2873af27;hp=f8552fe32185270f60a771c6eccb677e0893f653;hb=4f265eb7d78b740292b5543d94f9f0fa40d206d5;hpb=fa7e819743a4a6d008ec086dfdeb2e30df2da701 diff --git a/Remakefile.in b/Remakefile.in index f8552fe..c1f2b25 100644 --- a/Remakefile.in +++ b/Remakefile.in @@ -1,4 +1,5 @@ -OCAMLFINDPACKAGES = "ulex,unix,expat,camlp4.macro" +.OPTIONS = variable-propagation +OCAMLFINDPACKAGES = "ulex,unix,expat,camlp4.macro,bigarray" OCAMLFINDSYNTAX = camlp4o OCAMLFINDPPOPTS = $(addprefix "-ppopt ", @CAMLP4FLAGS@ -I include) OCAMLFINDINCLUDES = $(addprefix "-I ", src) @@ -8,6 +9,7 @@ OCAMLFINDLINKFLAGS = -linkpkg PACKAGE = @PACKAGE_TARNAME@ SRC = src BIN = src/@PACKAGE_TARNAME@.native@EXE@ +BYTE = src/@PACKAGE_TARNAME@.byte@EXE@ EXE = @EXE@ REMAKE = @REMAKE@ @@ -35,7 +37,7 @@ clean: for dir in src tools; do find $dir -name '*.cm*' -o -name '*.o' -o -name '*.byte' -o \ -name '*.native' -o -name '*.mll' -o -name '*.mly' -o \ - -name '*.class' -o -name '*.dep' | while read file; do + -name '*.class' -o -name '*.depo' -o -name '*.depx' -o -name '*.ml.str' | while read file; do case "$file" in *.mll) rm -f "${file%.mll}.ml" @@ -43,8 +45,11 @@ clean: *.mly) rm -f "${file%.mly}.ml" "${file%.mly}.mli" ;; + *.ml.str) + rm -f "${file%.ml.str}.ml" + ;; *) - rm -f "$file" + rm -f "$file" ;; esac done @@ -56,36 +61,54 @@ distclean: clean test_clean %.class: %.java javac $< -%.native$(EXE): %.cmx %.dep - objects=`cat $*.dep | xargs | sed 's/[.]dep/.cmx/g'` - $(OCAMLOPT) -o $@ $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDLINKFLAGS) $(OCAMLFINDFLAGS) $objects $< +%.native$(EXE): %.cmx %.depx + if test -f $@".flags"; then + FLAGS=`cat $@".flags"` + fi + objects=`cat $*.depx | xargs | sed 's/[.]depx/.cmx/g'` + $(REMAKE) OCAMLNATIVE="-native" $objects #ensure all objects have been built + $(OCAMLOPT) -o $@ $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDLINKFLAGS) $(OCAMLFINDFLAGS) $FLAGS $objects $< -%.byte$(EXE): %.cmo %.dep - objects=`cat $*.dep | xargs | sed 's/[.]dep/.cmo/g'` +%.byte$(EXE): %.cmo %.depo + objects=`cat $*.depo | xargs | sed 's/[.]depo/.cmo/g'` + $(REMAKE) OCAMLNATIVE="" $objects #ensure all objects have been built $(OCAMLC) -o $@ $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDLINKFLAGS) $(OCAMLFINDFLAGS) $objects $< %.ml: if test -f $*.mly; then + $(REMAKE) $*.mly $(OCAMLYACC) $*.mly elif test -f $*.mll; then + $(REMAKE) $*.mll $(OCAMLLEX) $*.mll + elif test -f $*.ml.str; then + $(REMAKE) $*.ml.str + echo -n 'let content = "' > $*.ml + sed -e 's/\(["\\]\)/\\\1/g' $*.ml.str | sed -e 's/^\(.*\)$/\1\\n\\/g' >> $*.ml + echo '' >> $*.ml + echo '"' >> $*.ml fi -%.cmx %.dep: +%.cmx %.depx: base=$* target=$@ + DEPEXT=depx NATIVE=-native - REMAKE="$(REMAKE) -v OCAMLNATIVE=$NATIVE" + REMAKE="$(REMAKE) OCAMLNATIVE=$NATIVE" OCAMLDEP="$(OCAMLDEP) $(OCAMLFINDFLAGS)" SRC=$(SRC) - COMPILE="$(OCAMLOPT) $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDFLAGS)" + if test -f "$base".flags; then + FLAGS=`cat "$base".flags` + fi + COMPILE="$(OCAMLOPT) $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDFLAGS) $FLAGS" . tools/ocamldriver.sh -%.cmo %.dep: +%.cmo %.depo: base=$* target=$@ - NATIVE= - REMAKE="$(REMAKE) -v OCAMLNATIVE=$NATIVE" + DEPEXT=depo + NATIVE="" + REMAKE="$(REMAKE) OCAMLNATIVE=$NATIVE" OCAMLDEP="$(OCAMLDEP) $(OCAMLFINDFLAGS)" SRC=$(SRC) COMPILE="$(OCAMLC) $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS)" @@ -95,40 +118,50 @@ distclean: clean test_clean base=$* target=$@ NATIVE=$(OCAMLNATIVE) - REMAKE="$(REMAKE) -v OCAMLNATIVE=$NATIVE" + REMAKE="$(REMAKE) OCAMLNATIVE=$NATIVE" OCAMLDEP="$(OCAMLDEP) $(OCAMLFINDFLAGS)" SRC=$(SRC) if test -z "$NATIVE"; then + DEPEXT=.depo COMPILE="$(OCAMLC) $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS)" else COMPILE="$(OCAMLOPT) $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDFLAGS)" + DEPEXT=.depx fi . tools/ocamldriver.sh ## Tests -test: +test_byte: tools $(BYTE) + $(REMAKE) TEST=$(BYTE) real_test + +test_native: tools $(BIN) + $(REMAKE) TEST=$(BIN) real_test + +test: test_native + +real_test: for i in tests/*.xml do for j in 1 2 3 do - $(REMAKE) "$i".test"$j".summary + $(REMAKE) TEST=$(TEST) "$i".test"$j".summary done done test_clean: rm -rf tests/*.summary tests/*.results/*_"$(PACKAGE)"_*.* -%.summary: tools $(BIN) - target=$@ - base=$* - test=${base#*.xml.} - xml=${base%.$test} - REMAKE=$(REMAKE) - BIN=$(BIN) - SPLIT=tools/split_path.native$(EXE) - XMLDIFF=tools/xml_diff.native$(EXE) - PACKAGE=$(PACKAGE) - $REMAKE $xml ${xml}.queries tests/${test}.sh - rm -f "$target" - . tests/${test}.sh +%.summary: + target=$@ + base=$* + test=${base#*.xml.} + xml=${base%.$test} + REMAKE=$(REMAKE) + BIN=$(TEST) + SPLIT=tools/split_path.native$(EXE) + XMLDIFF=tools/xml_diff.native$(EXE) + PACKAGE=$(PACKAGE) + $REMAKE $xml ${xml}.queries tests/${test}.sh + rm -f "$target" + . tests/${test}.sh