Installation des .cmi

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
lucasaiu · Nov 6, 1995 · 13d0cff · 13d0cff
1 parent 922f0d9
commit 13d0cff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/otherlibs/num/Makefile b/otherlibs/num/Makefile
@@ -36,7 +36,7 @@ bignum/libbignum.a:
 install:
 	cp libnums.a $(LIBDIR)/libnums.a
 	cd $(LIBDIR); $(RANLIB) libnums.a
-	cp nums.cma $(CMIFILES) $(LIBDIR)
+	cp nums.cma $(CAMLINTF) $(LIBDIR)
 
 installopt:
 	cp nums.cmxa nums.a $(LIBDIR)