2 # Copyright (C) 2013 Red Hat Inc.
4 # This program is free software; you can redistribute it and/or modify
5 # it under the terms of the GNU General Public License as published by
6 # the Free Software Foundation; either version 2 of the License, or
7 # (at your option) any later version.
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 # GNU General Public License for more details.
14 # You should have received a copy of the GNU General Public License
15 # along with this program; if not, write to the Free Software
16 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
18 include ../../common-rules.mk
20 EXTRA_DIST = main.c utils.c $(sources)
22 CLEANFILES += compile program
26 noinst_SCRIPTS = compile
28 compile: ../../goaljobs.cmxa compile.cmx
29 $(OCAMLFIND) ocamlopt $(OCAMLOPTFLAGS) \
30 $(OCAMLOPTPACKAGES) -linkpkg $^ -o $@
32 compile.cmx: compile.ml ../../pa_goal.cmo
33 $(OCAMLFIND) ocamlopt $(OCAMLOPTFLAGS) $(OCAMLOPTPACKAGES) \
34 -pp "$(CAMLP4O) ../../pa_goal.cmo" -c $< -o $@
42 $(OCAMLFIND) ocamldep -I $(abs_srcdir) -I $(top_builddir) $^ | \
44 $(SED) -e :a -e '/ *\\$$/N; s/ *\\\n */ /; ta' | \
45 $(SED) -e 's,$(abs_srcdir)/,$(builddir)/,g' | \
51 SUFFIXES = .cmo .cmi .cmx .ml .mli .mll .mly