LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
-all: styles gTopLevel regtest
-opt: styles gTopLevel.opt regtest.opt
+all: styles gTopLevel
+opt: styles gTopLevel.opt
start:
$(MAKE) -C ../hbugs/ start
testlibrary: $(TESTLIBOBJS) $(LIBRARIES)
$(OCAMLC) -linkpkg -o $@ $(TESTLIBOBJS)
+testlibrary.opt: $(TESTLIBOBJS:.cmo=.cmx) $(LIBRARIES)
+ $(OCAMLOPT) -linkpkg -o $@ $(TESTLIBOBJS:.cmo=.cmx)
regtest: $(REGTESTOBJS) $(LIBRARIES)
$(OCAMLC) -linkpkg -o $@ $(REGTESTOBJS)
regtest.opt: $(REGTESTOBJS:.cmo=.cmx) $(LIBRARIES)
rm -f $(OUTTESTS)
tests/%.cic.test: tests/%.cic regtest
time ./regtest -gen $<
-test:
+test: regtest
./regtest $(INTESTS) 2> /dev/null
-envtest:
+envtest: regtest
./regtest -dump $(INTESTS) 2> /dev/null
+librarytest: testlibrary.opt
+ ./testlibrary.opt - <index.txt 2>/dev/null >LOG &
ifneq ($(MAKECMDGOALS), depend)
include .depend