CAMLFLAGS= -unsafe -S # -inline 100 CAMLLIBS=bigarray.cmxa str.cmxa unix.cmxa %.cmx: %.ml ocamlopt $(CAMLFLAGS) -c $< %.cmi: %.mli ocamlopt $(CAMLFLAGS) -c $< all: single-core multi-core .PHONY: single-core single-core: wf-kig wf wf-block wf-mmap wf-mmap-nore .PHONY: multi-core multi-core: wf-mmap-multicore wf-mmap-multicore-nore bigstring.cmx: bigstring.ml bigstring.mli ocamlopt -c $(CAMLFLAGS) bigstring.mli ocamlopt -c -unsafe $(CAMLFLAGS) bigstring.ml bM_search.cmx: bM_search.ml bM_search.mli ocamlopt -c bM_search.mli ocamlopt -c -unsafe $(CAMLFLAGS) bM_search.ml wf-kig: wf-kig.cmx ocamlopt $(CAMLFLAGS) -o wf-kig $(CAMLLIBS) $^ wf: bM_search.cmx wf.cmx ocamlopt $(CAMLFLAGS) -o $@ $(CAMLLIBS) $^ wf-block: bM_search.cmx wf-block.cmx ocamlopt $(CAMLFLAGS) -o $@ $(CAMLLIBS) $^ wf-mmap: bigstring.cmx wf-mmap.cmx ocamlopt $(CAMLFLAGS) -o $@ $(CAMLLIBS) $^ wf-mmap-nore: bigstring.cmx wf-mmap-nore.cmx ocamlopt $(CAMLFLAGS) -o $@ $(CAMLLIBS) $^ wf-mmap-multicore.cmx: wf-mmap-multicore.ml jocamlopt -c $(CAMLFLAGS) $^ wf-mmap-multicore-nore.cmx: wf-mmap-multicore-nore.ml jocamlopt -c $(CAMLFLAGS) $^ wf-mmap-multicore: bigstring.cmx wf-mmap-multicore.cmx jocamlopt $(CAMLFLAGS) -o $@ str.cmxa bigarray.cmxa $^ wf-mmap-multicore-nore: bigstring.cmx wf-mmap-multicore-nore.cmx jocamlopt $(CAMLFLAGS) -o $@ str.cmxa bigarray.cmxa $^ .PHONY: clean clean: rm -f *.cm* *.s wf wf-block wf-mmap wf-kig wf-mmap-multicore \ wf-mmap-nore wf-mmap-multicore-nore