gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/psmt2-frontend: remove unused patch(es)

Browse Source 
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
This commit is contained in:
Michael Mair-Keimberger
2024-03-09 10:43:56 +01:00
committed by Conrad Kostecki
parent ccb3314faa
commit e5d8df3eeb
1 changed files with 0 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch
View File

@@ -1,22 +0,0 @@
--- a/Makefile.in 2019-07-20 19:20:06.818740706 +0200
+++ b/Makefile.in 2019-07-20 19:21:33.437581073 +0200
@@ -18,7 +18,7 @@
libdir=@libdir@
# exec_prefix=@exec_prefix@
# BINDIR=$(DESTDIR)@bindir@
-LIBDIR=$(prefix)$(libdir)
+LIBDIR=$(libdir)
# DATADIR=$(DESTDIR)@datadir@/psmt2-frontend
# where to install the man page
@@ -119,8 +119,8 @@
##############
install: all META
- mkdir -p $(DESTDIR)$(LIBDIR)
- OCAMLFIND_DESTDIR=$(DESTDIR)$(LIBDIR) \
+ mkdir -p $(DESTDIR)$(OCAMLLIB)
+ OCAMLFIND_DESTDIR=$(DESTDIR)$(OCAMLLIB) \
ocamlfind install psmt2-frontend src/$(LIBNAME).* src/*.mli META