diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-03-16 18:48:52 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-16 18:48:52 +0000 |
| commit | f265f17242b04ae036b4dc174fa95401d895dbc5 (patch) | |
| tree | 8daa848087a673b8bf5dad576b0a08048d551da7 /sci-mathematics/psmt2-frontend | |
| parent | d08ea43e9ada434f42f4be8e115b67ab22ce38af (diff) | |
gentoo auto-resync : 16:03:2024 - 18:48:51
Diffstat (limited to 'sci-mathematics/psmt2-frontend')
| -rw-r--r-- | sci-mathematics/psmt2-frontend/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch | 22 |
2 files changed, 0 insertions, 23 deletions
diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest index daab7ee54b3d..b6ef0c577f89 100644 --- a/sci-mathematics/psmt2-frontend/Manifest +++ b/sci-mathematics/psmt2-frontend/Manifest @@ -1,4 +1,3 @@ -AUX psmt2-frontend-0.2-gentoo.patch 607 BLAKE2B 4d3a967d9c694e74b1e33426d73f41e97be37510241291339e4d7c4e677ef247cc9dd28728df4fcdb6a0819aa8d1ccb6233d65cb206cbf78dcf9004af7744a7b SHA512 6ec9c1c89ceb023b57820f083722b4c4a693a27c38fcc63a9bf6403853c716a398f055a8db579e683a03f2ca8ccfcd9235796ce1f44867d47805279f6a0a8700 DIST psmt2-frontend-0.4.0.tar.gz 70801 BLAKE2B 337b3a87e9bff1c48eec9be4b1b50539c0114cdcdba1ac9c64ee180f73451b6a500f4a970a4f557dc3b886c5932bb72bb0b1b5e130a833b05502954c5279e702 SHA512 68b883f4bc4e0e39162807ffae251782871f372850c469889ea5ba5cf59388e363b1de5bc8087ad8624a1466b52611d0e41d78c6c3e6ac8af7c6e6e5c35630c5 EBUILD psmt2-frontend-0.4.0.ebuild 591 BLAKE2B e6c8444f7401566e19ce5cfeddfbac2d7df46d78d7b6bd171df3cf547cdaddd245fde9e157b23707d29bf73fef6226f90f81e735a91d9baa10590d576d05acc1 SHA512 2f594d42be049cceb40fffe52b336790863abd16b1507c1edd8061c737c7f29125828b51d2eb99fd1f63a5bd05e0501ae9df39901ea48c9fc677ad113083058a MISC metadata.xml 731 BLAKE2B 14577e7299ccd12be2ce493d8544a43bf3cafc7ffe7dff3be057f1428b467a0f47195b937303c50b284e5df1896765436d0f122472fe2d9aab0ddcf45f7fe140 SHA512 6bf3fdf46245ea1c9ff4b032ebba4feb6b519ec16605b1f486a2daf28961a4fe7f58b419b31eacf077e2cb64ca3e846dc21d741c7a4be3b57003e55c572c985a 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 - - |