From 59b4a434463f52c5355709f7dd86698e2b4b949d Mon Sep 17 00:00:00 2001
From: glondu
Date: Wed, 19 Nov 2008 14:43:13 +0000
Subject: Add implicit rules for native plugins (.cmxs)

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

diff --git a/Makefile.build b/Makefile.build
index 3d4c705a1b..41e91f0af5 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -878,6 +878,14 @@ endif
 	$(SHOW)'OCAMLOPT  $<'
 	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -c $<
 
+%.cmxs: %.cmxa
+	$(SHOW)'OCAMLOPT  $<'
+	$(HIDE)$(OCAMLOPT) -linkall -shared -o $@ $<
+
+%.cmxs: %.cmx
+	$(SHOW)'OCAMLOPT  $<'
+	$(HIDE)$(OCAMLOPT) -shared -o $@ $<
+
 %.ml: %.mll
 	$(SHOW)'OCAMLLEX  $<'
 	$(HIDE)$(OCAMLLEX) -o $@ "$*.mll"
-- 
cgit v1.2.3