blob: 711504ecdd16d0cc7d38260cd621e9f4727186a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
diff --git a/lib/Makefile b/lib/Makefile
index 7ce04da..c347d6f 100644
--- a/lib/Makefile
+++ b/lib/Makefile
@@ -29,8 +29,14 @@ $(NATIVELIB): $(NATIVEOBJS)
$(OCAMLOPT) -a -o $(NATIVELIB) $(NATIVEOBJS)
install:
- cp $(INTERFACES) $(BYTELIB) $(NATIVELIB) $(NATIVELIB:.cmxa=.$(LIBEXT)) $(OCAMLLIB)
- cd $(OCAMLLIB); $(RANLIB) $(NATIVELIB:.cmxa=.$(LIBEXT))
+ cp $(INTERFACES) $(BYTELIB) $(OCAMLLIB)
+ if [ -x /usr/bin/ocamlopt ]; then \
+ cp $(NATIVELIB) $(NATIVELIB:.cmxa=.$(LIBEXT)) $(OCAMLLIB); \
+ cd $(OCAMLLIB); \
+ $(RANLIB) $(NATIVELIB:.cmxa=.$(LIBEXT)); \
+ else \
+ true; \
+ fi
.SUFFIXES: .mli .ml .cmi .cmo .cmx
|