diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/Makefile b/src/Makefile index dca72f6..0662993 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,13 +1,15 @@ -OCAMLBUILD=ocamlbuild -classic-display \ - -tags annot,debug,thread \ - -libs unix +CAML=example.ml primes.ml \ + manager.ml poolserver.ml poolclient.ml \ + kahn_pipe.ml kahn_seq.ml kahn_stdio.ml \ + proto.ml util.ml -all: primes.native example.native manager.native poolserver.native poolclient.native +BIN=example.native primes.native \ + manager.native poolserver.native poolclient.native -%.native: %.ml kahn_pipe.ml kahn_seq.ml kahn_stdio.ml proto.ml util.ml - $(OCAMLBUILD) $@ +all: $(CAML) + ocamlbuild $(BIN) clean: - $(OCAMLBUILD) -clean + ocamlbuild -clean |