diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2024-03-09 10:43:56 +0100 |
|---|---|---|
| committer |   Conrad Kostecki <conikost@gentoo.org> | 2024-03-16 13:13:23 +0100 |
| commit | e5d8df3eeb4b6128acec9b706d95d26832d1bdb3 (patch) | |
| tree | c0531780dc25a18919a20d848a50ffd3d8cbf67b /sci-mathematics | |
| parent | sci-mathematics/giac: remove unused patches (diff) | |
| download | gentoo-e5d8df3eeb4b6128acec9b706d95d26832d1bdb3.tar.gz gentoo-e5d8df3eeb4b6128acec9b706d95d26832d1bdb3.tar.bz2 gentoo-e5d8df3eeb4b6128acec9b706d95d26832d1bdb3.zip | |
sci-mathematics/psmt2-frontend: remove unused patch(es)
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch b/sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch deleted file mode 100644 index 74fbed08bf6b..000000000000 --- a/sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch +++ /dev/null @@ -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 - - |