src/Makefile.in

   1 # Goalfile parser
   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 OBJECTS = \
  20         ast.cmx \
  21         parser.cmx \
  22         lexer.cmx \
  23         parse.cmx \
  24         main.cmx
  25
  26 all: goals
  27
  28 clean:
  29         rm -f *~
  30         rm -f *.cmi *.cmo *.cmx *.o
  31         rm -f parser.ml parser.mli lexer.ml parser.conflicts stamp-parser
  32         rm -f goals
  33
  34 goals: $(OBJECTS)
  35         @OCAMLFIND@ opt $^ -o $@
  36
  37 OCAMLFLAGS = -g -safe-string -warn-error CDEFLMPSUVYZX+52-3
  38
  39 %.cmi: %.mli
  40         @OCAMLFIND@ c $(OCAMLFLAGS) -c $< -o $@
  41 %.cmo: %.ml
  42         @OCAMLFIND@ c $(OCAMLFLAGS) -c $< -o $@
  43 %.cmx: %.ml
  44         @OCAMLFIND@ opt $(OCAMLFLAGS) -c $< -o $@
  45
  46 parser.ml parser.mli: stamp-parser
  47 stamp-parser: parser.mly
  48         @MENHIR@ --explain $<
  49         touch $@
  50
  51 lexer.ml: lexer.mll lexer.cmi parser.ml
  52         @OCAMLLEX@ $<
  53
  54 depend: .depend
  55
  56 .depend: parser.mly lexer.mll *.mli
  57         rm -f $@ $@-t
  58         @MENHIR@ --depend parser.mly > $@-t
  59         ocamldep lexer.mll *.ml *.mli >> $@-t
  60         mv $@-t $@
  61
  62 -include .depend
  63
  64 Makefile: Makefile.in ../config.status
  65         ../config.status Makefile
  66
  67 .PHONY: all clean depend
  68
  69 # Doesn't build all *.cmi files before *.cmo/cmx files:
  70 #.NOTPARALLEL: