mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-03 13:27:28 -08:00
14 lines
441 B
Diff
14 lines
441 B
Diff
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)
|