Use automake.

[goals.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
deleted file mode 100644 (file)
index 19e9c8c..0000000
--- a/Makefile.in
+++ /dev/null
@@ -1,70 +0,0 @@
-# Goals
-# Copyright (C) 2019 Richard W.M. Jones
-# Copyright (C) 2019 Red Hat Inc.
-#
-# This program is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or
-# (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License along
-# with this program; if not, write to the Free Software Foundation, Inc.,
-# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
-
-# Pass through normal targets to Goalfile.in
-
-all clean depend install check maintainer-clean dist distcheck \
-maintainer-commit maintainer-tag \
-maintainer-check-extra-dist maintainer-release \
-maintainer-srpm maintainer-fedora-copr: src/goals
-       @./run src/goals $@ 'DESTDIR="$(DESTDIR)"'
-
-# If src/goals doesn't exist then brute-force build it.  Once we have
-# src/goals we can rebuild it and other parts of the project using
-# goals itself (see Goalfile.in).
-
-MENHIR = @MENHIR@
-OCAMLDEP = @OCAMLDEP@
-OCAMLFIND = @OCAMLFIND@
-OCAMLLEX = @OCAMLLEX@
-OCAMLFLAGS = @OCAMLFLAGS@
-OCAMLPACKAGES = @OCAMLPACKAGES@
-
-src/goals:
-       $(MENHIR) --explain src/parser.mly
-# Hack required to break circular dependencies.
-       echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' >> src/parser.mli
-       echo 'val eval_substitute : (Ast.env -> Ast.loc -> Ast.substs -> string) option ref' >> src/parser.mli
-       $(OCAMLLEX) src/lexer.mll
-       $(OCAMLFIND) opt $(OCAMLFLAGS) $(OCAMLPACKAGES) -I . -I src \
-           src/utils-c.c \
-           $$($(OCAMLDEP) -sort src/*.mli src/*.ml) \
-           -linkpkg -o $@
-
-# These rules are required by autoconf.
-config.h: stamp-h
-stamp-h: config.h.in config.status
-       ./config.status config.h
-       touch $@
-
-Makefile: Makefile.in config.status
-       ./config.status $@
-
-run: run.in config.status
-       ./config.status $@
-
-$(srcdir)/configure: configure.ac aclocal.m4
-       cd '$(srcdir)' && autoconf
-
-$(srcdir)/config.h.in: stamp-h.in
-$(srcdir)/stamp-h.in: configure.ac aclocal.m4
-       cd '$(srcdir)' && autoheader
-       echo timestamp > '$(srcdir)/stamp-h.in'
-
-config.status: configure
-       ./config.status --recheck