From b5df1925bbc14f441247349b200aa3f5828e8427 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 18 Feb 2004 18:32:33 +0000
Subject: - fixed the Assert_failure error in kernel/modops - fixed the problem
 with passing atomic tactics to ltacs - restructured the distrib Makefile (can
 build a package from   the CVS working dir)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index fa86571abc..9963bf7f26 100644
--- a/Makefile
+++ b/Makefile
@@ -620,10 +620,12 @@ install-coqide:: install-ide-$(HASCOQIDE) install-ide-files install-ide-info
 install-ide-no:
 
 install-ide-byte: 
+	$(MKDIR) $(FULLBINDIR)
 	cp $(COQIDEBYTE) $(FULLBINDIR)
 	cd $(FULLBINDIR); ln -sf coqide.byte$(EXE) coqide$(EXE)
 
 install-ide-opt:
+	$(MKDIR) $(FULLBINDIR)
 	cp $(COQIDEBYTE) $(COQIDEOPT) $(FULLBINDIR)
 	cd $(FULLBINDIR); ln -sf coqide.opt$(EXE) coqide$(EXE)
 
@@ -1183,7 +1185,7 @@ install-library7:
 
 install-library-light:
 	$(MKDIR) $(FULLCOQLIB)
-	for f in $(LIBFILESLIGHT) ($NEWLIBFILESLIGHT); do \
+	for f in $(LIBFILESLIGHT) $(NEWLIBFILESLIGHT); do \
 	  $(MKDIR) $(FULLCOQLIB)/`dirname $$f`; \
 	  cp $$f $(FULLCOQLIB)/`dirname $$f`; \
         done
@@ -1574,4 +1576,8 @@ include .depend.coq7
 clean::
 	rm -fr *.v8 states/*.v8 syntax/*.v8 ide/*.v8 \
 	  theories/*/*.v8 theories7/*/*.v8 test-suite/*/*.v8 \
-	  contrib/*/*.v8 contrib7/*/*.v8 \
+	  contrib/*/*.v8 contrib7/*/*.v8
+	find . -name "\.#*" -exec rm -f {} \;
+	find . -name "*~" -exec rm -f {} \;
+
+###########################################################################
-- 
cgit v1.2.3