1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-07 06:40:06 +00:00
freebsd-ports/lang/ocaml/files/patch-stdlib::Makefile
Mario Sergio Fujikawa Ferreira e7ce76c85c o Update to 3.08.3
o Uphold both CFLAGS and INSTALL_* permission safeness
o Both sort and update PLIST
o Tested against net/mldonkey-devel for 24 hours
2005-04-23 01:34:05 +00:00

13 lines
383 B
Plaintext

--- stdlib/Makefile.bak Fri Apr 22 05:04:24 2005
+++ stdlib/Makefile Fri Apr 22 05:13:40 2005
@@ -47,8 +47,7 @@
rm -f std_exit.p.cmi
install:
- cp stdlib.cma std_exit.cmo *.cmi *.mli *.ml camlheader camlheader_ur \
- $(LIBDIR)
+ cp stdlib.cma std_exit.cmo *.cmi *.mli *.ml camlheader camlheader_ur $(LIBDIR)
installopt: installopt-default installopt-$(PROFILING)