diff options
Diffstat (limited to 'sci-mathematics/pvs/files/4.2/pvs-4.2-sbcl.patch')
| -rw-r--r-- | sci-mathematics/pvs/files/4.2/pvs-4.2-sbcl.patch | 2 |
1 files changed, 1 insertions, 1 deletions
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 |