2 # Copyright (C) 2019 Richard W.M. Jones
3 # Copyright (C) 2019 Red Hat Inc.
5 # This program is free software; you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation; either version 2 of the License, or
8 # (at your option) any later version.
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
15 # You should have received a copy of the GNU General Public License along
16 # with this program; if not, write to the Free Software Foundation, Inc.,
17 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
21 let MENHIR = "@MENHIR@"
22 let OCAMLDEP = "@OCAMLDEP@"
23 let OCAMLFIND = "@OCAMLFIND@"
24 let OCAMLLEX = "@OCAMLLEX@"
26 let OCAMLFLAGS = [ "-g", "-safe-string", "-warn-error", "CDEFLMPSUVYZX+52-3" ]
27 let OCAMLPACKAGES = [ "-package", "str,unix", "-I", "src" ]
28 #let OCAMLFLAGS = "@OCAMLFLAGS@"
29 #let OCAMLPACKAGES = "@OCAMLPACKAGES@"
43 goal all = : ocaml_link ("src/goals", objects)
46 for d in `find -type d`; do
49 rm -f *.cmi *.cmo *.cmx *.o
51 rm -f src/parser.ml src/parser.mli src/lexer.ml src/parser.conflicts
53 # We don't delete src/goals because it is required to do builds.
54 # If you want to really delete it, use the maintainer-clean rule.
57 goal maintainer-clean = : clean {
61 "src/parser.mli", "src/parser.ml" : "src/parser.mly" {
65 "src/lexer.ml" : "src/lexer.mll" {
69 # XXX Depends on *.ml *.mli, but we don't have a function for this yet.
70 # XXX Goalfile itself depends on this and we should probably have a
71 # way to reevaluate it.
73 # XXX GNU sed: https://unix.stackexchange.com/a/13704
76 # Like many existing tools, ocamldep produces make-compatible
77 # output which doesn't work directly in goals.
78 %OCAMLDEP src/*.ml src/*.mli |
79 sed ':x; /\\$/ { N; s/\\\n//; tx }' |
80 sed 's,[./[:alnum:]]\+,"&",g' > %@-t
84 -include "src/.depend"
86 # XXX The Goalfile itself needs rules to rebuild it.
87 #Makefile: Makefile.in ../config.status
89 #config.ml: config.ml.in ../config.status