diff options
| author | Christopher Price | 2024-02-25 22:10:37 -0800 |
|---|---|---|
| committer | Christopher Price | 2024-02-25 22:10:37 -0800 |
| commit | a02905e3f905282f83e0428ae9edb833e098d8d5 (patch) | |
| tree | abf9658e24a17366cf92e3e34631b8563b451d3a /patch.diff | |
| parent | 04838a70dce5bf53fbf42b66d9d28c8ddc205e6e (diff) | |
| download | aur-a02905e3f905282f83e0428ae9edb833e098d8d5.tar.gz | |
Updated to v1.12
Diffstat (limited to 'patch.diff')
| -rw-r--r-- | patch.diff | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/patch.diff b/patch.diff new file mode 100644 index 000000000000..2a8dd6c206b6 --- /dev/null +++ b/patch.diff @@ -0,0 +1,14 @@ +diff --git a/lib/Makefile b/lib/Makefile +index b5934e5..8c6373b 100644 +--- a/lib/Makefile ++++ b/lib/Makefile +@@ -13,7 +13,8 @@ + #* $Id: Makefile,v 1.4 2002-04-22 11:50:47 xleroy Exp $ + + include ../config/Makefile +-include $(OCAMLLIB)/Makefile.config ++#include $(OCAMLLIB)/Makefile.config ++include /usr/lib/ocaml/Makefile.config + + BYTEOBJS=com.cmo + BYTELIB=com.cma |