1
# $Id: Makefile.facile,v 1.2 2003/08/06 14:01:31 brisset Exp $
3
# Generic Makefile for single files using FaCiLe. Allow to produce
4
# file.out (ocamlc) and file.opt (ocamlopt) from file.ml while linking
5
# with the FaCiLe library
8
INCLUDES= -I $(FACILEDIR)
10
OCAMLC= ocamlc -g $(INCLUDES)
11
OCAMLMLI= ocamlc $(INCLUDES)
12
OCAMLOPT= ocamlopt $(INCLUDES)
13
OCAMLDEP= ocamldep $(INCLUDES)
16
.SUFFIXES: .ml .mli .mly .mll .cmi .cmo .cmx .out .opt .p.cmx .popt
24
# To produce profiled objects
30
$(OCAMLC) -o $@ facile.cma $<
31
# To produce profiled binaries
33
$(OCAMLOPT) -p -o $@ facile.p.cmxa $<
35
$(OCAMLOPT) -o $@ facile.cmxa $<
42
\rm -f *.cmo *.cmi *.cmx *.o *~ *.opt *.out .depend *.popt
45
$(OCAMLDEP) *.mli *.ml > $@