Ticket #26218: patch-Portfile

File patch-Portfile, 1.8 KB (added by someuser12, 14 years ago)

Upgrade proposal to the Portfile of GLPK

Line 
1--- Portfile.orig       2010-01-17 04:31:06.000000000 +0100
2+++ Portfile    2010-08-23 23:10:04.000000000 +0200
3@@ -5,7 +5,7 @@
4 PortGroup       muniversal 1.0
5 
6 name            glpk
7-version         4.41
8+version         4.44
9 license         GPL-3+
10 categories      math lang
11 platforms       darwin
12@@ -22,9 +22,9 @@
13 homepage        http://www.gnu.org/software/${name}/
14 master_sites    gnu
15 
16-checksums       md5     55026a855035d0caf550db69d29d4959 \
17-                sha1    2699e10b79b2c72c9eb4d373e3b3060dcf80f468 \
18-                rmd160  1fb60f0803e2707f7c7772981e859efa629c5a39
19+checksums           md5     f2ac7013bc0420d730d052e7ba24bdb1 \
20+                    sha1    6a2c23b5e9228627c0c454776d53b4629b56583b \
21+                    rmd160  6d1a3428cf7dee758f18f8e388a71894437197d1
22 
23 depends_lib     port:gmp port:zlib
24 
25@@ -78,10 +78,14 @@
26 
27 variant doc description {Build and install documentation} {
28     depends_build-append path:${prefix}/bin/pdflatex:texlive \
29+        path:${prefix}/share/texmf-texlive-dist/tex/generic/xypic/xy.sty:texlive-pictures \
30         path:${prefix}/bin/texi2pdf:texinfo
31     post-destroot {
32-        system "cd ${worksrcpath}/doc && ${prefix}/bin/pdflatex glpk.tex && ${prefix}/bin/pdflatex glpk.tex"
33-        system "cd ${worksrcpath}/doc && ${prefix}/bin/texi2pdf gmpl.texi"
34+        system "cd ${worksrcpath}/doc && ${prefix}/bin/pdflatex glpk.tex && ${prefix}/bin/pdflatex glpk.tex && ${prefix}/bin/pdflatex glpk.tex"
35+        # For glpk 4.41 up to 4.44 (at least), texi2pdf fails on Mac OS
36+        # X 10.6.4 with texlive @2009_3 with four "missing $ inserted"
37+        # errors, but a precompiled gmpl.pdf file is provided.
38+        #system "cd ${worksrcpath}/doc && ${prefix}/bin/texi2pdf gmpl.texi"
39         xinstall -m 644 -W ${worksrcpath}/doc glpk.pdf gmpl.pdf glpk_faq.txt \
40             ${destroot}${docdir}
41     }