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 subdirs = [ "m4", "src", "stdlib", "docs", "man", "tests" ]
23 goal all = : "Goalfile", tool, documentation;
25 "Goalfile": "Goalfile.in", "config.status" {
28 "src/config.ml" : "src/config.ml.in", "config.status" {
32 goal clean = : wrap ("clean-subdir", subdirs), clean-subdir ("."), clean-other
34 goal clean-subdir (dir) = {
37 rm -f *.cmi *.cmo *.cmx *.o
41 rm -f src/parser.ml src/parser.mli src/lexer.ml src/parser.conflicts
45 # We don't delete src/goals because it is required to do builds.
46 # If you want to really delete it, use the maintainer-clean rule.
49 goal maintainer-clean = : clean {
53 #----------------------------------------------------------------------
54 # Build the goals tool itself.
57 let OCAMLLIB = "@OCAMLLIB@"
58 let MENHIR = "@MENHIR@"
59 let OCAMLDEP = "@OCAMLDEP@"
60 let OCAMLFIND = "@OCAMLFIND@"
61 let OCAMLLEX = "@OCAMLLEX@"
63 let CFLAGS = [ "-g", "-O2", "-I%OCAMLLIB", "-I." ]
64 #let CFLAGS = "@CFLAGS@ -I%OCAMLLIB -I."
65 let OCAMLFLAGS = [ "-g", "-safe-string", "-warn-error", "CDEFLMPSUVYZX+52-3" ]
66 let OCAMLPACKAGES = [ "-package", "str,unix,threads", "-I", "src", "-thread" ]
67 #let OCAMLFLAGS = "@OCAMLFLAGS@"
68 #let OCAMLPACKAGES = "@OCAMLPACKAGES@"
71 # These must be in dependency order.
87 goal tool = : ocaml_link ("src/goals", objects) ;
90 "src/utils-c.o" : "src/utils-c.c" {
91 %CC %CFLAGS -c %< -o %@
95 "src/parser.mli", "src/parser.ml" : "src/parser.mly" {
97 # Hack required to break circular dependencies.
98 echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' >> src/parser.mli
99 echo 'val eval_substitute : (Ast.env -> Ast.loc -> Ast.substs -> string) option ref' >> src/parser.mli
102 "src/lexer.ml" : "src/lexer.mll" {
106 # XXX Goalfile itself depends on this and we should probably have a
107 # way to reevaluate it.
110 "src/.depend" : wildcard ("src/*.ml"), wildcard ("src/*.mli") {
112 # Like many existing tools, ocamldep produces make-compatible
113 # output which doesn't work directly in goals.
114 %OCAMLDEP -all -one-line -I src %< |
115 sed 's|[./[:alnum:]]\+|"&"|g' |
117 sed 's|.*|& ;|' > %@-t
121 -include "src/.depend";
123 #----------------------------------------------------------------------
126 let POD2MAN = "@POD2MAN@"
128 goal documentation = : pod2man ("goals", "1"),
129 pod2man ("Goalfile", "5"),
130 pod2man ("goals-reference", "5")
132 goal pod2man (page, section) =
133 "man/%page.%section" : "docs/%page.pod" {
139 --release "@PACKAGE_NAME@-@PACKAGE_VERSION@" \
140 --section %section %< > %@-t
144 #----------------------------------------------------------------------
147 let tests = wrap ("test", wildcard ("tests/*.sh"))
149 goal check () = : tests
151 goal test (name) = @{
154 if ../run ./$t > $t.log 2>&1; then