December 2007 - macports-changes - lists.macosforge.org

[31725] trunk/dports/devel/libsdl/Portfile
by mww＠macports.org 04 Dec '07

04 Dec '07

Revision: 31725 http://trac.macosforge.org/projects/macports/changeset/31725 Author: mww(a)macports.org Date: 2007-12-04 14:49:35 -0800 (Tue, 04 Dec 2007) Log Message: ----------- do not use 'nasm' -- it will fail (even on i386); dave.himself(a)gmail.com via IRC Modified Paths: -------------- trunk/dports/devel/libsdl/Portfile Modified: trunk/dports/devel/libsdl/Portfile =================================================================== --- trunk/dports/devel/libsdl/Portfile 2007-12-04 22:14:11 UTC (rev 31724) +++ trunk/dports/devel/libsdl/Portfile 2007-12-04 22:49:35 UTC (rev 31725) @@ -28,7 +28,8 @@ depends_lib lib:libX11.6:XFree86 configure.args --enable-shared \ - --mandir=${prefix}/share/man + --mandir=${prefix}/share/man \ + --disable-nasm set docdir ${prefix}/share/doc/${name}-${version}

1 0

[31724] trunk/dports/devel/bison/Portfile
by mww＠macports.org 04 Dec '07

04 Dec '07

Revision: 31724 http://trac.macosforge.org/projects/macports/changeset/31724 Author: mww(a)macports.org Date: 2007-12-04 14:14:11 -0800 (Tue, 04 Dec 2007) Log Message: ----------- add docs, add libiconv to dependencies -- #13302 Modified Paths: -------------- trunk/dports/devel/bison/Portfile Modified: trunk/dports/devel/bison/Portfile =================================================================== --- trunk/dports/devel/bison/Portfile 2007-12-04 20:45:46 UTC (rev 31723) +++ trunk/dports/devel/bison/Portfile 2007-12-04 22:14:11 UTC (rev 31724) @@ -3,6 +3,7 @@ PortSystem 1.0 name bison version 2.3 +revision 1 categories devel maintainers mww description general-purpose parser generator @@ -21,7 +22,7 @@ rmd160 c6a116d6b763fad3f4df6e303943e09ed080cb26 use_bzip2 yes -depends_lib port:gettext port:m4 +depends_lib port:gettext port:m4 port:libiconv configure.args --infodir=${prefix}/share/info \ --mandir=${prefix}/share/man \ @@ -30,6 +31,13 @@ test.run yes test.target check +post-destroot { + set docdir ${prefix}/share/doc/${name} + xinstall -d -m 0555 ${destroot}${docdir} + xinstall -m 0444 -W ${worksrcpath} AUTHORS COPYING ChangeLog NEWS \ + THANKS TODO ${destroot}${docdir} +} + livecheck.check regex livecheck.url http://ftp.gnu.org/gnu/bison/?C=M&O=D livecheck.regex ${name}-(\\d+(?:\\.\\d+)*) @@ -38,3 +46,4 @@ configure.args-delete --disable-yacc } +

1 0

[31723] trunk/dports/PortIndex
by dluke＠macports.org 04 Dec '07

04 Dec '07

Revision: 31723 http://trac.macosforge.org/projects/macports/changeset/31723 Author: dluke(a)macports.org Date: 2007-12-04 12:45:46 -0800 (Tue, 04 Dec 2007) Log Message: ----------- Total number of ports parsed: 4383 Ports successfully parsed: 4383 Ports failed: 0 Modified Paths: -------------- trunk/dports/PortIndex Modified: trunk/dports/PortIndex =================================================================== --- trunk/dports/PortIndex 2007-12-04 19:44:27 UTC (rev 31722) +++ trunk/dports/PortIndex 2007-12-04 20:45:46 UTC (rev 31723) @@ -727,9 +727,9 @@ apache-ant 534 variants {universal darwin source} description {Java opensource build system} portdir devel/apache-ant homepage http://ant.apache.org/ epoch 0 platforms {darwin freebsd} name apache-ant long_description {Ant is a Java based build tool. In theory it is kind of like make without make's wrinkles. Ant uses XML build files that define a set of targets. Each target has dependencies (other targets) and contains a set of tasks to perform.} maintainers {openmaintainer jberry(a)macports.org} categories {devel java} version 1.7.0 revision 0 apr 446 -portdir devel/apr variants {universal darwin_9} description {The apache group's portability library} name apr version 1.2.11 categories devel homepage http://apr.apache.org/ revision 0 epoch 0 maintainers dluke(a)geeklair.net long_description {The Apache Portable Runtime is a library of C data structures and routines, forming a system portability layer that covers as many operating systems as possible, including Unices, Win32, BeOS, and OS/2.} +portdir devel/apr variants {universal darwin_9} description {The apache group's portability library} name apr version 1.2.12 categories devel homepage http://apr.apache.org/ revision 0 epoch 0 maintainers dluke(a)geeklair.net long_description {The Apache Portable Runtime is a library of C data structures and routines, forming a system portability layer that covers as many operating systems as possible, including Unices, Win32, BeOS, and OS/2.} apr-util 473 -variants {universal no_bdb no_sqlite openldap} description {utilities built with the apache group's portability library} portdir devel/apr-util homepage http://apr.apache.org/ epoch 0 depends_lib {port:apr port:expat port:libiconv port:db44 port:sqlite3} name apr-util long_description {apr-util is a library of useful utilities built with and intended to be used with the Apache Portable Runtime.} maintainers dluke(a)geeklair.net categories devel version 1.2.10 revision 0 +variants {universal no_bdb no_sqlite openldap} description {utilities built with the apache group's portability library} portdir devel/apr-util homepage http://apr.apache.org/ epoch 0 depends_lib {port:apr port:expat port:libiconv port:db44 port:sqlite3} name apr-util long_description {apr-util is a library of useful utilities built with and intended to be used with the Apache Portable Runtime.} maintainers dluke(a)geeklair.net categories devel version 1.2.12 revision 0 apr-util0 545 variants {universal no_bdb openldap} description {utilities built with the apache group's portability library} portdir devel/apr-util0 homepage http://apr.apache.org/ epoch 0 depends_lib {port:apr0 port:expat port:libiconv port:db44} name apr-util0 long_description {apr-util is a library of useful utilities built with and intended to be used with the Apache Portable Runtime version 0.9.x. This is an old version of the APRutil library, the latest version is in the apr-util port.} maintainers blair categories devel version 0.9.13 revision 0 apr0 506 @@ -784,8 +784,8 @@ variants {universal redirect darwin_8 darwin_9} description {Boehm-Demers-Weiser conservative garbage collector} portdir devel/boehmgc homepage http://www.hpl.hp.com/personal/Hans_Boehm/gc/ epoch 0 platforms darwin name boehmgc long_description {The Boehm-Demers-Weiser conservative garbage collector can be used as a garbage collecting replacement for C malloc or C++ new. It is also used by a number of programming language implementations that use C as intermediate code.} maintainers waqar(a)macports.org categories devel version 7.0 revision 0 boehmgc-devel 557 variants {universal redirect} description {Boehm-Demers-Weiser conservative garbage collector (devel version)} portdir devel/boehmgc-devel homepage http://www.hpl.hp.com/personal/Hans_Boehm/gc/ epoch 0 platforms darwin name boehmgc-devel long_description {The Boehm-Demers-Weiser conservative garbage collector can be used as a garbage collecting replacement for C malloc or C++ new. It is also used by a number of programming language implementations that use C as intermediate code.} maintainers nomaintainer categories devel version 6.3alpha6 revision 0 -boost 462 -variants {universal darwin python24 python25 icu} depends_build bin:bjam:boost-jam portdir devel/boost description {Collection of portable C++ source libraries} homepage http://www.boost.org epoch 0 platforms darwin name boost maintainers sanchom(a)gmail.com long_description {Boost provides free portable peer-reviewed C++ libraries. The emphasis is on portable libraries which work well with the C++ Standard Library.} version 1.34.1 categories devel revision 1 +boost 471 +variants {universal darwin_9 darwin python24 python25 icu} depends_build bin:bjam:boost-jam portdir devel/boost description {Collection of portable C++ source libraries} homepage http://www.boost.org epoch 0 platforms darwin name boost maintainers sanchom(a)gmail.com long_description {Boost provides free portable peer-reviewed C++ libraries. The emphasis is on portable libraries which work well with the C++ Standard Library.} version 1.34.1 categories devel revision 1 boost-build 510 variants universal portdir devel/boost-build description {Build system for large project software construction} homepage http://www.boost.org epoch 0 depends_run port:boost-jam platforms darwin name boost-build maintainers nomaintainer long_description {Boost.Build is a system for large project software construction, which is simple to use and powerfull. Boost.Build V2 is an onging project to rewrite Boost.Build, improving design and making it more extensible.} version 2.0-m11 categories devel revision 0 boost-jam 503 @@ -3301,7 +3301,7 @@ gcl 657 variants {universal x11} portdir lang/gcl description {GNU Common Lisp} homepage http://www.gnu.org/software/gcl epoch 0 platforms darwin name gcl depends_lib {port:gettext port:readling port:gmp} maintainers waqar(a)macports.org long_description {GCL is the official Common Lisp for the GNU project. Its design makes use of the system's C compiler to compile to native object code, providing for both good performance and facile portability. On most platforms, GCL can load native object code modules directly into its lisp core, where they are preserved in any custom lisp images produced via the save-system call.} version 2.6.7 categories lang revision 0 gdc 294 -variants {universal darwin_8} description {D language compiler} portdir lang/gdc homepage http://dgcc.sourceforge.net/ epoch 0 platforms darwin name gdc long_description {gcc 4.1.2 with D language frontend, a new language by digitalmars} maintainers mww categories lang version 0.24 revision 0 +variants {universal darwin_8} description {D language compiler} portdir lang/gdc homepage http://dgcc.sourceforge.net/ epoch 0 platforms darwin name gdc long_description {gcc 4.1.2 with D language frontend, a new language by digitalmars} maintainers mww categories lang version 0.24 revision 1 gforth 639 variants universal description {fast and portable implementation of the ANS Forth language} portdir lang/gforth homepage http://www.gnu.org/software/gforth/ epoch 0 platforms darwin name gforth long_description {Gforth is a fast and portable implementation of the ANS Forth language. It works nicely with the Emacs editor, offers some nice features such as input completion and history and a powerful locals facility, and it even has (the beginnings of) a manual. Gforth employs traditional implementation techniques: its inner interpreter is indirect or direct threaded.} maintainers nomaintainer categories lang version 0.6.2 revision 0 ghc 917 @@ -3418,8 +3418,8 @@ variants {universal i386} portdir lang/pfe description {Implementation of ANSI Forth} homepage http://pfe.sourceforge.net/ epoch 0 platforms darwin name pfe depends_lib port:ncurses maintainers nomaintainer long_description {The Forth-system is closely modeled along the new American National Standard for the programming language Forth. Every word of every word set mentioned in the dpANS-6 document of June 1993 has been implemented. Additionally it is compatible to Forth-83.} version 0.33.62 categories lang revision 0 pike 462 variants universal description {dynamic programming language} portdir lang/pike homepage http://pike.ida.liu.se/ epoch 0 platforms darwin name pike long_description {Pike is a dynamic programming language with a syntax similar to Java and C. It is simple to learn, does not require long compilation passes and has powerful built-in data types allowing simple and really fast data manipulation.} maintainers nomaintainer categories lang version 7.6.24 revision 0 -polyml 417 -portdir lang/polyml variants universal description {An implementation of Standard ML.} name polyml version 5.0 categories {lang ml} homepage http://www.polyml.org/ revision 1 epoch 0 maintainers dem5302(a)cs.rit.edu long_description {Poly/ML is an extremely fast and efficient implementation of Standard ML. Program state can be saved in a memory-mapped persistent store. There are numerous addon libraries available.} +polyml 435 +variants universal description {An implementation of Standard ML.} portdir lang/polyml homepage http://www.polyml.org/ epoch 0 depends_lib lib:libX11.6:XFree86 name polyml long_description {Poly/ML is an extremely fast and efficient implementation of Standard ML. Program state can be saved in a memory-mapped persistent store. There are numerous addon libraries available.} maintainers mww categories {lang ml} version 5.1 revision 0 prolog-mode.el 847 variants universal portdir lang/prolog-mode.el description {An emacs major mode for editing prolog programs.} homepage http://turing.ubishops.ca/home/bruda/emacs-prolog/ depends_run bin:swipl:swi-prolog epoch 0 platforms darwin name prolog-mode.el depends_lib {{path:\${prefix}/bin/emacs:emacs}} maintainers nomaintainer long_description {So the Prolog mode that comes with Emacs sucks. Well, here is a better alternative, with all the features you would expect, including syntax highlighting, auto indent, and full interaction with an inferior Prolog process. This mode supports in principle any Prolog system, though it is primarily maintained with SWI Prolog { } in mind. It also has some special tweaks for SICStus Prolog, and explicitly supports Prolog's close relatives Eclipse and Mercury.} version 1.2 categories {lang editors} revision 1 prothon 728 @@ -3782,8 +3782,8 @@ variants universal description {The GNU Triangulated Surface library} portdir math/gts homepage http://gts.sourceforge.net/ epoch 0 platforms darwin name gts long_description {GTS stands for the GNU Triangulated Surface Library. It is an Open Source Free Software Library intended to provide a set of useful functions to deal with 3D surfaces meshed with interconnected triangles.} maintainers nomaintainer categories math version 0.7.6 revision 0 gunits 569 variants universal portdir math/gunits description {Unit conversion and calculation} homepage http://www.gnu.org/software/units/ epoch 0 platforms darwin name gunits depends_lib {port:ncurses port:readline} maintainers nomaintainer long_description {GNU units converts quantities expressed in various scales to their equivalents in other scales. Units can only handle multiplicative scale changes. For example, it cannot convert Celsius to Fahrenheit but it can convert temperature differences between those temperature scales.} version 1.86 categories math revision 0 -isabelle 755 -variants universal description {Isabelle is a popular generic theorem proving environment.} portdir math/isabelle homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 depends_lib {bin:poly:polyml lib:poly/ML_dbase:polyml} name isabelle long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} maintainers dem5302(a)cs.rit.edu categories {lang ml} version 2004 revision 2 +isabelle 714 +variants universal description {Isabelle is a popular generic theorem proving environment.} portdir math/isabelle homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 depends_lib port:polyml name isabelle long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} maintainers mww categories {math lang ml} version 2007 revision 0 isabelle-devel 797 variants universal portdir math/isabelle-devel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelle-devel depends_lib port:polyml maintainers mww long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols. This version is a development snapshot of the upcoming 2007 release.} version 2007-11-19 categories {math lang ml} revision 0 itl 720 @@ -8361,7 +8361,7 @@ gtk1 443 variants {universal sunos} portdir x11/gtk1 description {Gimp Tool Kit} homepage http://www.gtk.org/ epoch 0 platforms {darwin freebsd sunos} name gtk1 depends_lib {port:gettext port:glib1 lib:libX11.6:XFree86} maintainers nomaintainer long_description {This is GTK+ version 1.2.10. GTK+, which stands for the Gimp ToolKit, is a library for creating graphical user interfaces for the X Window System.} version 1.2.10 categories x11 revision 6 gtk2 662 -variants {universal darwin_6 darwin_7 quartz x11} depends_build port:pkgconfig variant_desc {quartz { Enable Quartz rendering } x11 { Enable rendering in X11 }} portdir x11/gtk2 description {Gimp ToolKit version 2} homepage http://www.gtk.org/ epoch 0 platforms darwin depends_lib {port:cairo port:fontconfig port:freetype port:glib2 port:jpeg port:tiff port:libiconv port:libpng port:atk port:pango port:gettext port:render port:zlib} name gtk2 maintainers {rhwood openmaintainer} long_description {This is GTK+ version 2.x. GTK+, which stands for Gimp ToolKit, is a library for creating GUIs for the X Windows System.} categories x11 version 2.12.1 revision 0 +variants {universal darwin_6 darwin_7 quartz x11} depends_build port:pkgconfig variant_desc {quartz { Enable Quartz rendering } x11 { Enable rendering in X11 }} portdir x11/gtk2 description {Gimp ToolKit version 2} homepage http://www.gtk.org/ epoch 0 platforms darwin depends_lib {port:cairo port:fontconfig port:freetype port:glib2 port:jpeg port:tiff port:libiconv port:libpng port:atk port:pango port:gettext port:render port:zlib} name gtk2 maintainers {rhwood openmaintainer} long_description {This is GTK+ version 2.x. GTK+, which stands for Gimp ToolKit, is a library for creating GUIs for the X Windows System.} categories x11 version 2.12.2 revision 0 gtk2-aurora 499 variants universal depends_build port:pkgconfig portdir x11/gtk2-aurora description {Aurora Gtk Engine} homepage http://www.gnome-look.org/content/show.php/Aurora+Gtk+Engine?content=56438 epoch 0 platforms macosx depends_lib port:gtk2 name gtk2-aurora maintainers nox long_description {The goal of this theme is to provide a complete and consistent look for Gtk. The theme aims to be very flexible in colour choice, but have few other options otherwise.} version 1.3 categories {x11 gtk} revision 0 gtk2-clearlooks 395

1 0

[31722] trunk/dports/lang/polyml/Portfile
by mww＠macports.org 04 Dec '07

04 Dec '07

Revision: 31722 http://trac.macosforge.org/projects/macports/changeset/31722 Author: mww(a)macports.org Date: 2007-12-04 11:44:27 -0800 (Tue, 04 Dec 2007) Log Message: ----------- * version 5.1 * take maintainership * dem5302(a)cs.rit.edu (former maintainer) is not in trac nor reachable via mail Modified Paths: -------------- trunk/dports/lang/polyml/Portfile Modified: trunk/dports/lang/polyml/Portfile =================================================================== --- trunk/dports/lang/polyml/Portfile 2007-12-04 19:14:46 UTC (rev 31721) +++ trunk/dports/lang/polyml/Portfile 2007-12-04 19:44:27 UTC (rev 31722) @@ -3,10 +3,9 @@ PortSystem 1.0 name polyml -version 5.0 -revision 1 +version 5.1 categories lang ml -maintainers dem5302(a)cs.rit.edu +maintainers mww description An implementation of Standard ML. long_description Poly/ML is an extremely fast and efficient implementation of \ Standard ML. Program state can be saved in a memory-mapped \ @@ -16,6 +15,14 @@ master_sites sourceforge distname ${name}.${version} -checksums md5 61537cf2b0ca983d42845778fe3bd42f +checksums sha1 282aeca15bb9e0929fe71555efc9d2c124c65b41 +depends_lib lib:libX11.6:XFree86 + configure.args --mandir=${prefix}/share/man + +post-destroot { + xinstall -m 555 -d ${destroot}${prefix}/share/doc/${name} + xinstall -m 444 -W ${worksrcpath} COPYING \ + ${destroot}${prefix}/share/doc/${name} +}

1 0

[31721] trunk/dports/lang/gdc/Portfile
by mww＠macports.org 04 Dec '07

04 Dec '07

Revision: 31721 http://trac.macosforge.org/projects/macports/changeset/31721 Author: mww(a)macports.org Date: 2007-12-04 11:14:46 -0800 (Tue, 04 Dec 2007) Log Message: ----------- build w/o c++-support: unnecessary and fixes build on 10.5 Modified Paths: -------------- trunk/dports/lang/gdc/Portfile Modified: trunk/dports/lang/gdc/Portfile =================================================================== --- trunk/dports/lang/gdc/Portfile 2007-12-04 18:51:43 UTC (rev 31720) +++ trunk/dports/lang/gdc/Portfile 2007-12-04 19:14:46 UTC (rev 31721) @@ -4,6 +4,7 @@ name gdc version 0.24 +revision 1 set gcc_version 4.1.2 categories lang platforms darwin @@ -40,7 +41,7 @@ } configure.cmd ${workpath}/gcc-${gcc_version}/configure -configure.args --enable-languages=d,c,c++ \ +configure.args --enable-languages=d,c \ --bindir=${bindir} \ --libdir=${prefix}/lib/${name} \ --includedir=${incdir} \

1 0

[31720] trunk/dports/math/isabelle/Portfile
by mww＠macports.org 04 Dec '07

04 Dec '07

Revision: 31720 http://trac.macosforge.org/projects/macports/changeset/31720 Author: mww(a)macports.org Date: 2007-12-04 10:51:43 -0800 (Tue, 04 Dec 2007) Log Message: ----------- * version 2007 * take maintainership * dem5302(a)cs.rit.edu (former maintainer) is not in trac nor reachable via mail Modified Paths: -------------- trunk/dports/math/isabelle/Portfile Modified: trunk/dports/math/isabelle/Portfile =================================================================== --- trunk/dports/math/isabelle/Portfile 2007-12-04 16:29:22 UTC (rev 31719) +++ trunk/dports/math/isabelle/Portfile 2007-12-04 18:51:43 UTC (rev 31720) @@ -2,10 +2,9 @@ PortSystem 1.0 name isabelle -version 2004 -revision 2 -categories lang ml -maintainers dem5302(a)cs.rit.edu +version 2007 +categories math lang ml +maintainers mww description Isabelle is a popular generic theorem proving environment. long_description Isabelle is a generic proof assistant. It allows mathematical \ formulas to be expressed in a formal language and provides \ @@ -16,40 +15,37 @@ properties of computer languages and protocols. homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ -master_sites http://www.cl.cam.ac.uk/~lp15/archive/ +master_sites http://isabelle.in.tum.de/dist/ \ + http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/ \ + http://mirror.cse.unsw.edu.au/pub/isabelle/dist/ -distfiles Isabelle${version}${extract.suffix} -checksums md5 8ea6985fde973453090abaa68aaa8446 -worksrcdir Isabelle2004 +distname Isabelle${version} +checksums md5 088e56b79a4c8cd3e4de7dad62a35827 \ + sha1 dd1312a1af296cb02754069691801a23e03c7e15 -depends_lib bin:poly:polyml \ - lib:poly/ML_dbase:polyml +depends_lib port:polyml -# The goal is to make polyml+isabelle "just work" out of the box. If -# a user wishes to use other implementations of ML, then they will -# have to edit the settings file directly. -# -# The settings file is limited to very few scenarios out of the box. -# We modify the linux entry, since it is the closest thing that will -# resemble our MacPorts installation. - -post-configure { - reinplace "s|/.*/bin/poly|${prefix}/bin/poly|g" ${workpath}/${worksrcdir}/etc/settings - reinplace "s|/usr/lib/poly|${prefix}/lib/poly|g" ${workpath}/${worksrcdir}/etc/settings - reinplace "s|ML_PLATFORM=x86-linux|ML_PLATFORM=ppc-darwin|g" ${workpath}/${worksrcdir}/etc/settings - reinplace "s|ML_HOME=/usr/bin|ML_HOME=${prefix}/bin|g" ${workpath}/${worksrcdir}/etc/settings +post-extract { + file rename ${worksrcpath}/doc ${workpath}/doc + system "cd ${worksrcpath} && mv ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README ${workpath}/doc" } +use_configure no + build { - cd ${workpath}/${worksrcdir} - system "./build -a" + system "cd ${workpath}/${worksrcdir} && ./build -a -b" } destroot { - file copy ${workpath}/${worksrcdir} ${destroot}${prefix}/lib/Isabelle2004 - system "${destroot}${prefix}/lib/Isabelle2004/bin/isatool install -p ${destroot}${prefix}/bin" - reinplace "s|\"/.*/bin|\"${prefix}/lib/Isabelle2004/bin|g" \ - ${destroot}${prefix}/bin/isabelle-process \ - ${destroot}${prefix}/bin/isabelle-interface \ - ${destroot}${prefix}/bin/isatool + file copy ${worksrcpath} ${destroot}${prefix}/lib/${name} + foreach f {isabelle isabelle-interface isabelle-process isatool} { + ln -sf ${prefix}/lib/isabelle/bin/${f} ${destroot}${prefix}/bin + } + xinstall -d ${destroot}${prefix}/share/doc/ + file copy ${workpath}/doc ${destroot}${prefix}/share/doc/${name}-${version} } + +livecheck.check regex +livecheck.url http://www.cl.cam.ac.uk/research/hvg/Isabelle/download.html +livecheck.regex Isabelle(\[0-9\]+).tar.gz +

1 0

propchange - r31718 svn:log
by dluke＠macports.org 04 Dec '07

04 Dec '07

Author: dluke(a)macports.org Revision: 31718 Property Name: svn:log New Property Value: Version bump, apr to 1.2.12 (fixes #13485, thanks macintosh(a)mathiesen.info)

1 0

[31719] trunk/dports/devel/apr-util/Portfile
by dluke＠macports.org 04 Dec '07

04 Dec '07

Revision: 31719 http://trac.macosforge.org/projects/macports/changeset/31719 Author: dluke(a)macports.org Date: 2007-12-04 08:29:22 -0800 (Tue, 04 Dec 2007) Log Message: ----------- Version bump, apr-util to 1.2.12 (fixes #13485, thanks macintosh(a)mathiesen.info) Modified Paths: -------------- trunk/dports/devel/apr-util/Portfile Modified: trunk/dports/devel/apr-util/Portfile =================================================================== --- trunk/dports/devel/apr-util/Portfile 2007-12-04 16:26:11 UTC (rev 31718) +++ trunk/dports/devel/apr-util/Portfile 2007-12-04 16:29:22 UTC (rev 31719) @@ -2,7 +2,7 @@ PortSystem 1.0 name apr-util -version 1.2.10 +version 1.2.12 categories devel maintainers dluke(a)geeklair.net description utilities built with the apache group's portability library @@ -13,7 +13,9 @@ homepage http://apr.apache.org/ master_sites apache:apr use_bzip2 yes -checksums md5 9277c21fe41065bd359db98c474aa998 +checksums md5 4ec0474c61113dcb57943916e7f53522 \ + sha1 1e0e4215ce064544976d96118ab1e51100aab577 \ + rmd160 5290770ae1a97b022d93f4596aa612130fee6187 depends_lib port:apr port:expat \ port:libiconv port:db44 \

1 0

[31713] trunk/dports/graphics/openjpeg/Portfile
by css＠macports.org 04 Dec '07

04 Dec '07

Revision: 31713 http://trac.macosforge.org/projects/macports/changeset/31713 Author: css(a)macports.org Date: 2007-12-03 19:05:30 -0800 (Mon, 03 Dec 2007) Log Message: ----------- Fixed the build options to set the correct install_name. (#13370) Modified Paths: -------------- trunk/dports/graphics/openjpeg/Portfile Modified: trunk/dports/graphics/openjpeg/Portfile =================================================================== --- trunk/dports/graphics/openjpeg/Portfile 2007-12-04 00:40:24 UTC (rev 31712) +++ trunk/dports/graphics/openjpeg/Portfile 2007-12-04 03:05:30 UTC (rev 31713) @@ -4,7 +4,7 @@ name openjpeg version 1.2 -revision 2 +revision 3 categories graphics maintainers nomaintainer description Library for manipulating JPEG-2000 images @@ -28,6 +28,6 @@ configure.args -D BUILD_SHARED_LIBS:BOOL=ON \ -D CMAKE_VERBOSE_MAKEFILE:BOOL=ON \ -D CMAKE_INSTALL_PREFIX:PATH=${prefix} \ - -D CMAKE_INSTALL_RPATH:PATH=${prefix} \ - -D CMAKE_INSTALL_NAME_DIR=${prefix} \ + -D CMAKE_INSTALL_RPATH:PATH=${prefix}/lib \ + -D CMAKE_INSTALL_NAME_DIR=${prefix}/lib \ -D BUILD_EXAMPLES:BOOL=ON

1 0

[31712] trunk/dports/gnome/liferea/Portfile
by vinc17＠macports.org 04 Dec '07

04 Dec '07

Revision: 31712 http://trac.macosforge.org/projects/macports/changeset/31712 Author: vinc17(a)macports.org Date: 2007-12-03 16:40:24 -0800 (Mon, 03 Dec 2007) Log Message: ----------- Updated livecheck regexp. Modified Paths: -------------- trunk/dports/gnome/liferea/Portfile Modified: trunk/dports/gnome/liferea/Portfile =================================================================== --- trunk/dports/gnome/liferea/Portfile 2007-12-04 00:34:35 UTC (rev 31711) +++ trunk/dports/gnome/liferea/Portfile 2007-12-04 00:40:24 UTC (rev 31712) @@ -49,4 +49,4 @@ livecheck.check regex livecheck.url ${homepage} -livecheck.regex >(\[0-9.\]+)< +livecheck.regex "Latest Stable:.*${name}-(\[0-9.\]+)\\.tar"

1 0