From 5094f4879cf86d7cbc5879d3acd9216ea2615f87 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 29 Nov 1999 12:57:35 +0000
Subject: portage Astterm (partiellement)

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d4fd64fbd8..5fb8f9ff2a 100644
--- a/Makefile
+++ b/Makefile
@@ -84,6 +84,12 @@ CMX=$(CMO:.cmo=.cmx)
 
 world: minicoq coqtop.byte dev/db_printers.cmo
 
+LINK=$(CONFIG) $(LIB) $(KERNEL) $(LIBRARY)  $(PARSING) $(PRETYPING)
+# $(PROOFS) $(TACTICS) $(TOPLEVEL)
+link: $(LINK)
+	ocamlc -o link $(LINK)
+	rm -f link 
+
 kernel: $(KERNEL)
 library: $(LIBRARY)
 proofs: $(PROOFS)
-- 
cgit v1.2.3