diff options
| author |   Jonathan-Christofer Demay <jcdemay@gmail.com> | 2009-10-15 18:59:35 +0000 |
|---|---|---|
| committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2009-10-15 18:59:35 +0000 |
| commit | 73890f41d812401ce650c11eac9b27a56ff98621 (patch) | |
| tree | 409bd325a84d101e54d6acc522ad5efde013a659 /sci-mathematics | |
| parent | sci-mathematics/frama-c: varinfo_export patch (diff) | |
| download | sci-73890f41d812401ce650c11eac9b27a56ff98621.tar.gz sci-73890f41d812401ce650c11eac9b27a56ff98621.tar.bz2 sci-73890f41d812401ce650c11eac9b27a56ff98621.zip | |
sci-mathematics/pvs: fix sbcl-patch on i*86
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/pvs/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/pvs/files/4.2/pvs-4.2-sbcl.patch | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/pvs/Manifest b/sci-mathematics/pvs/Manifest index 22fe434f0..8f967a504 100644 --- a/sci-mathematics/pvs/Manifest +++ b/sci-mathematics/pvs/Manifest @@ -5,7 +5,7 @@ AUX 4.2/pvs-4.2-emacs23.patch 485 RMD160 b420d683e183c3e41dc3e9be5a34ed0700edc9e AUX 4.2/pvs-4.2-latex.patch 2006 RMD160 9157b5fb6d51a27b6adf74e74be010f09511ee90 SHA1 91c41c9b34e082456e56f55a16d24a86ee748ab9 SHA256 f3932c73a74fe19dcacc730bf182797c9b99b03f93d706f293a21f245c67b780 AUX 4.2/pvs-4.2-mona.patch 1037 RMD160 71eea17c22b5b3a7e9c9f418d923c177c65608e9 SHA1 d0fed295c12e3e309dc85c77f58b8fdf97bf8011 SHA256 89af8f9a5e321d50a37a42e5e534dd0dbcca3a14185d03cf8a5e611c34913eb7 AUX 4.2/pvs-4.2-sbcl-pic.patch 1621 RMD160 1286dc2b79d5704aa83ff9a4604c00f99128972c SHA1 352868e5ca53c754f6797a80a44380541cc5dc95 SHA256 c472900f74f2f4070609ee23a8a9dc297286bbe99094e652eeb2dc012364a496 -AUX 4.2/pvs-4.2-sbcl.patch 120352 RMD160 fdc64c4bf6c8660dde7f4dcfd88a1eca1d1eafc5 SHA1 d09d1639f836750f264eb759bdae6ccbf18940d3 SHA256 bf05206acc8b74a1ece03d05cfee7f3ab3bf3a18ca6ba08d4e7c2b486e5e2288 +AUX 4.2/pvs-4.2-sbcl.patch 120352 RMD160 0cfb4f7dd258009d19443355caca070e18bc222f SHA1 e4a0591f303d7c02852015c668770febb3db7b4d SHA256 af288699f339c7b36a813ce097e0e47898e3cc06b7aa97b0b7b49ad147cff5fb AUX 4.2/pvs-4.2-typo.patch 4344 RMD160 e2a61864ba91a71d38dbd02523060e67c16cfd91 SHA1 0d4d391740e5ea102813e4d7cb8836a0661dea36 SHA256 a5b7faa4ee6c76f441f8a47b76babe6b579c7618e6661571fefd52b537ead2cf AUX 4.2/pvs-4.2-unused.patch 539 RMD160 2ca253776ad63a2eca771f76af4a5a8a3cf4db1b SHA1 7e171995188e3dacb3c2c8c13e098697fd9be766 SHA256 3831972c2e496280cb1db7eba9a980eed7e172e3f90ed8fa1cd7bdf9f2893761 DIST pvs-4.2-source.tgz 7951811 RMD160 90551627a059d633024d7a78dc6a72799f186e06 SHA1 5b53780cf449f8957613c6fc225ffecb2b454e25 SHA256 ac29bb19400fff2d794c1c8f7ef5747e8d83c66ddbe4249c8423ed7dca305309 diff --git a/sci-mathematics/pvs/files/4.2/pvs-4.2-sbcl.patch b/sci-mathematics/pvs/files/4.2/pvs-4.2-sbcl.patch index 7c7d723c0..875bffa1f 100644 --- a/sci-mathematics/pvs/files/4.2/pvs-4.2-sbcl.patch +++ b/sci-mathematics/pvs/files/4.2/pvs-4.2-sbcl.patch @@ -1007,7 +1007,7 @@ diff -durN pvs-sbcl-4.2.ORIG/bin/pvs-platform pvs-sbcl-4.2/bin/pvs-platform - Linux) arch=ix86 + Linux) case `uname -m` in + x86_64) arch=ix86_64;; -+ x86*) arch=ix86;; ++ *86*) arch=ix86;; + esac os=Linux;; AIX) arch=powerpc-ibm |