Makefile.in

   1 # Goals
   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 # Pass through normal targets to Goalfile.in
  20
  21 all clean depend install check maintainer-clean: src/goals
  22         @./run src/goals $@
  23
  24 # If src/goals doesn't exist then brute-force build it.  Once we have
  25 # src/goals we can rebuild it and other parts of the project using
  26 # goals itself (see Goalfile.in).
  27
  28 MENHIR = @MENHIR@
  29 OCAMLDEP = @OCAMLDEP@
  30 OCAMLFIND = @OCAMLFIND@
  31 OCAMLLEX = @OCAMLLEX@
  32 OCAMLFLAGS = @OCAMLFLAGS@
  33 OCAMLPACKAGES = @OCAMLPACKAGES@
  34
  35 src/goals:
  36         $(MENHIR) --explain src/parser.mly
  37 # Hack required to break circular dependencies.
  38         echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' >> src/parser.mli
  39         echo 'val eval_substitute : (Ast.env -> Ast.loc -> Ast.substs -> string) option ref' >> src/parser.mli
  40         $(OCAMLLEX) src/lexer.mll
  41         $(OCAMLFIND) opt $(OCAMLFLAGS) $(OCAMLPACKAGES) -I . -I src \
  42             src/utils-c.c \
  43             $$($(OCAMLDEP) -sort src/*.mli src/*.ml) \
  44             -linkpkg -o $@
  45
  46 # These rules are required by autoconf.
  47 config.h: stamp-h
  48 stamp-h: config.h.in config.status
  49         ./config.status config.h
  50         touch $@
  51
  52 Makefile: Makefile.in config.status
  53         ./config.status $@
  54
  55 run: run.in config.status
  56         ./config.status $@
  57
  58 $(srcdir)/configure: configure.ac aclocal.m4
  59         cd '$(srcdir)' && autoconf
  60
  61 $(srcdir)/config.h.in: stamp-h.in
  62 $(srcdir)/stamp-h.in: configure.ac aclocal.m4
  63         cd '$(srcdir)' && autoheader
  64         echo timestamp > '$(srcdir)/stamp-h.in'
  65
  66 config.status: configure
  67         ./config.status --recheck