From 97fefe1fcca363a1317e066e7f4b99b9c1e9987b Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 12 Jan 2012 16:02:20 +0100
Subject: Imported Upstream version 8.4~beta

---
 Makefile.stage1 | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 Makefile.stage1

(limited to 'Makefile.stage1')

diff --git a/Makefile.stage1 b/Makefile.stage1
deleted file mode 100644
index a60d388f..00000000
--- a/Makefile.stage1
+++ /dev/null
@@ -1,33 +0,0 @@
-#######################################################################
-#  v      #   The Coq Proof Assistant  /  The Coq Development Team    #
-# <O___,, #        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              #
-#   \VV/  #############################################################
-#    //   #      This file is distributed under the terms of the      #
-#         #       GNU Lesser General Public License Version 2.1       #
-#######################################################################
-
-include Makefile.build
-
-# All includes must be declared secondary, otherwise make will delete
-# them if it decided to build them by dependency instead of because of
-# include, and they will then be automatically deleted, leading to an
-# infinite loop.
--include $(ML4FILES:.ml4=.ml4.d)
-.SECONDARY: $(ML4FILES:.ml4=.ml4.d)
--include $(MLFILES:.ml=.ml.d)
-.SECONDARY: $(MLFILES:.ml=.ml.d)
--include $(MLIFILES:.mli=.mli.d)
-.SECONDARY: $(MLIFILES:.mli=.mli.d)
-##Depends upon the fact that all .ml4.d for stage1 files are empty
--include $(STAGE1_ML4:.ml4=.ml4.ml.d)
-.SECONDARY: $(STAGE1_ML4:.ml4=.ml4.ml.d)
--include  $(CFILES:.c=.c.d)
-.SECONDARY: $(CFILES:.c=.c.d)
-
-.PHONY: stage1
-stage1: $(STAGE1)
-
-# For emacs: 
-# Local Variables: 
-# mode: makefile 
-# End:
-- 
cgit v1.2.3