diff options
Diffstat (limited to 'dev-ml/labltk/files')
| -rw-r--r-- | dev-ml/labltk/files/findlib.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/dev-ml/labltk/files/findlib.patch b/dev-ml/labltk/files/findlib.patch new file mode 100644 index 00000000000..9b9a63bdede --- /dev/null +++ b/dev-ml/labltk/files/findlib.patch @@ -0,0 +1,20 @@ +Index: labltk-8.06.0/lib/Makefile +=================================================================== +--- labltk-8.06.0.orig/lib/Makefile ++++ labltk-8.06.0/lib/Makefile +@@ -84,7 +84,7 @@ install-script: $(LIBNAME) + install-batch: + cp labltk.bat $(INSTALLBINDIR) + +-ifeq ($USE_FINDLIB,yes) ++ifeq ($(USE_FINDLIB),yes) + install: + ocamlfind install labltk -add $(LIBNAME).cma $(LIBNAME)top$(EXE) + chmod 755 $(INSTALLDIR)/$(LIBNAME)top$(EXE) +@@ -114,4 +114,4 @@ installopt: + cd $(INSTALLDIR); $(RANLIB) $(LIBNAME).$(A) + chmod 644 $(INSTALLDIR)/$(LIBNAME).cmxa + chmod 644 $(INSTALLDIR)/$(LIBNAME).$(A) +-endif +\ No newline at end of file ++endif |