mirror of
https://github.com/LCPQ/quantum_package
synced 2024-11-03 20:54:00 +01:00
Improved makefile
This commit is contained in:
parent
12d6f6a568
commit
72e59ec688
@ -24,6 +24,7 @@ ALL_EXE=$(patsubst %.ml,%.native,$(wildcard qp_*.ml))
|
||||
default: $(ALL_TESTS) $(ALL_EXE)
|
||||
|
||||
executables: $(ALL_EXE)
|
||||
$(MAKE) -C $(QPACKAGE_ROOT)/data executables
|
||||
|
||||
%.inferred.mli: $(MLFILES)
|
||||
$(OCAMLBUILD) $*.inferred.mli -use-ocamlfind $(PKGS)
|
||||
|
Loading…
Reference in New Issue
Block a user