Goalfile.in

   1 # Goalfile
   2 # Copyright (C) 2019 Richard W.M. Jones
   3 # Copyright (C) 2019 Red Hat Inc.
   4 #
   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.
   9 #
  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.
  14 #
  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.
  18
  19 include "ocaml.gl"
  20
  21 let MENHIR = "@MENHIR@"
  22 let OCAMLDEP = "@OCAMLDEP@"
  23 let OCAMLFIND = "@OCAMLFIND@"
  24 let OCAMLLEX = "@OCAMLLEX@"
  25 # XXX
  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@"
  30
  31 let objects = [
  32     "src/config.cmx",
  33     "src/utils.cmx",
  34     "src/cmdline.cmx",
  35     "src/ast.cmx",
  36     "src/eval.cmx",
  37     "src/run.cmx",
  38     "src/parser.cmx",
  39     "src/lexer.cmx",
  40     "src/parse.cmx",
  41     "src/main.cmx"
  42 ]
  43
  44 let subdirs = [ "m4", "src", "stdlib", "tests" ]
  45
  46 goal all = : ocaml_link ("src/goals", objects)
  47
  48 goal clean = {
  49     for d in %subdirs; do
  50         pushd $d
  51         rm -f *~
  52         rm -f *.cmi *.cmo *.cmx *.o
  53         popd
  54     done
  55     rm -f src/parser.ml src/parser.mli src/lexer.ml src/parser.conflicts
  56
  57     # We don't delete src/goals because it is required to do builds.
  58     # If you want to really delete it, use the maintainer-clean rule.
  59 }
  60
  61 goal maintainer-clean = : clean {
  62     rm -f src/goals
  63 }
  64
  65 "src/parser.mli", "src/parser.ml" : "src/parser.mly" {
  66     %MENHIR --explain %<
  67     # Hack required to get includes working.
  68     echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' \
  69         >> src/parser.mli
  70 }
  71
  72 "src/lexer.ml" : "src/lexer.mll" {
  73     %OCAMLLEX %<
  74 }
  75
  76 # XXX Goalfile itself depends on this and we should probably have a
  77 # way to reevaluate it.
  78 # XXX Atomic output.
  79 goal depend () =
  80 "src/.depend" : wildcard ("src/*.ml"), wildcard ("src/*.mli") {
  81     rm -f %@ %@-t
  82     # Like many existing tools, ocamldep produces make-compatible
  83     # output which doesn't work directly in goals.
  84     %OCAMLDEP -all -one-line %< |
  85         sed 's|[./[:alnum:]]\+|"&"|g' |
  86         sed 's|" "|", "|g' |
  87         sed 's|.*|& ;|' > %@-t
  88     mv %@-t %@
  89 }
  90
  91 -include "src/.depend"
  92
  93 # XXX The Goalfile itself needs rules to rebuild it.
  94 #Makefile: Makefile.in ../config.status
  95 #        ../config.status $@
  96 #config.ml: config.ml.in ../config.status
  97 #        ../config.status $@