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