diff options
| author |   Jonathan-Christofer Demay <jcdemay@gmail.com> | 2009-10-15 19:41:40 +0000 |
|---|---|---|
| committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2009-10-15 19:41:40 +0000 |
| commit | 753653fbfa9c348221173ec4ba97fa62fd808353 (patch) | |
| tree | e41c41792aca3fb6c61a80cfc36d819fe7108fa3 | |
| parent | dropping sci-mathematics/pvs: unmaintained mainstream and PITA to maintain in... (diff) | |
| download | sci-753653fbfa9c348221173ec4ba97fa62fd808353.tar.gz sci-753653fbfa9c348221173ec4ba97fa62fd808353.tar.bz2 sci-753653fbfa9c348221173ec4ba97fa62fd808353.zip | |
sci-mathematics/why: fix search with pvs binary
| -rw-r--r-- | sci-mathematics/why/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/why/why-2.19.ebuild | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/sci-mathematics/why/Manifest b/sci-mathematics/why/Manifest index c87abb4a7..c751cc226 100644 --- a/sci-mathematics/why/Manifest +++ b/sci-mathematics/why/Manifest @@ -1,4 +1,4 @@ AUX why-2.19-jessie_lib.patch 1631 RMD160 b3975a252f539a04b079b6e973332136fde464cb SHA1 2ba2c2956354c896904d0c9a2e1d6079fbb56027 SHA256 aaff9f7648438d54eec0b1e9f0ff4828aaa26558ee7d847190d7a3d6e0c4abbc AUX why-2.19-makefile_sandbox.patch 3025 RMD160 b8b1b178b09a7b6eda9c8aeac7f5013650fb6c84 SHA1 6bd5e80aa79a6a36d89a114696da716b92aa60df SHA256 121b67a2b46139b93be9af293615a6a04e06a00323096e8b2317a7116bbf5d84 DIST why-2.19.tar.gz 2622629 RMD160 d1e3a099226a42b039672161ada63270e6274b46 SHA1 6139699168c6aab76d42e02029ba4c51cf2a8130 SHA256 f5eef288c25744f1c7725c1c733b3129a74cde6cf08eaa57b9705115d75499a3 -EBUILD why-2.19.ebuild 1439 RMD160 721d1ac7ad18c127a5c2f62c235d43d761ce19ce SHA1 6816b7435f14dff7e22b9b20930fc56e598f7e95 SHA256 100229337d43f8bf6e931ee50494d7ebc0f565ac5382199cc8f74bde664830ad +EBUILD why-2.19.ebuild 1464 RMD160 c651f3e87eb0480a2317c826e14ce2b92ce1cfae SHA1 71a7c40261f577d17859c129b91808f6143087e6 SHA256 830c491810c985213eb4ad19be2502a27cef19162e7588fcfa7aa87e1d7d713e diff --git a/sci-mathematics/why/why-2.19.ebuild b/sci-mathematics/why/why-2.19.ebuild index 60c0c6ffa..9731df967 100644 --- a/sci-mathematics/why/why-2.19.ebuild +++ b/sci-mathematics/why/why-2.19.ebuild @@ -37,6 +37,7 @@ src_unpack() { #to build with apron-0.9.10 sed -i configure.in \ + -e "s/pvs/sri-pvs/g" \ -e "s/oct_caml/octMPQ_caml/g" \ -e "s/box_caml/boxMPQ_caml/g" \ -e "s/polka_caml/polkaMPQ_caml/g" |