[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. e3233ddb987f62a0b37b2dd935aa0cda963feffd

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 545adbcd173649281a3a98e367da93e430e1e3e9
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Tue Jun 3 14:23:50 2008 +0200

    bugfix: use ocamlc to build .cmi
    
    this way we can build also on non native archs

diff --git a/Makefile b/Makefile
index c443b2a..265d0b0 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ endif
 	$(OCAMLFIND) ocamlopt $(PACKAGES) -c $<
 
 %.cmi: %.mli
-	$(OCAMLFIND) ocamlopt $(PACKAGES) -c $<
+	$(OCAMLFIND) ocamlc $(PACKAGES) -c $<
 
 doc: $(CMIS)
 	@rm -rf doc

-- 
ceve packaging