February 2013 - macports-changes - lists.macosforge.org

[102359] trunk/dports/lang/coq/Portfile
by ecronin＠macports.org 01 Feb '13

01 Feb '13

Revision: 102359 https://trac.macports.org/changeset/102359 Author: ecronin(a)macports.org Date: 2013-01-31 17:49:41 -0800 (Thu, 31 Jan 2013) Log Message: ----------- coq: update to 8.4pl1 Maintainer timeout. Closes #37425 Modified Paths: -------------- trunk/dports/lang/coq/Portfile Modified: trunk/dports/lang/coq/Portfile =================================================================== --- trunk/dports/lang/coq/Portfile 2013-02-01 00:17:23 UTC (rev 102358) +++ trunk/dports/lang/coq/Portfile 2013-02-01 01:49:41 UTC (rev 102359) @@ -3,7 +3,7 @@ PortSystem 1.0 name coq -version 8.4 +version 8.4pl1 revision 1 platforms darwin categories lang math @@ -19,26 +19,20 @@ their formal specification. It is developed using Objective Caml and \ Camlp4. For more information, see <${homepage}>. -checksums rmd160 6824f9542c823c7d943a59acefb90ff9c9dbe37a \ - sha256 f46ae5b6f0bea9dc299de6f3c020ee75c40581e32a1832e9a290d098a6a2424d +checksums rmd160 fa472852de474ed5b83ddd4bd5a303f32b5dba94 \ + sha256 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80 -# coq 8.3pl4 is incompatible with OCaml 4.00 -- for now use ocaml3 -# TODO: verify if this is still the case -depends_lib port:ocaml3 port:ocaml3-camlp5 +depends_lib port:ocaml port:camlp5 -configure.env-append PATH=${prefix}/libexec/ocaml3:$env(PATH) configure.pre_args -prefix ${prefix} configure.args -emacslib ${prefix}/share/emacs/site-lisp/ \ -mandir ${prefix}/share/man \ -coqdocdir ${prefix}/share/coq/latex \ -coqide none \ - -with-doc no \ - -camldir ${prefix}/libexec/ocaml3 \ - -camlp5dir ${prefix}/lib/ocaml3/camlp5 -build.env-append PATH=${prefix}/libexec/ocaml3:$env(PATH) -build.target world + -with-doc no +build.target world -destroot.target install +destroot.target install destroot.destdir COQINSTALLPREFIX=${destroot} # ocaml is not universal

1 0

propchange - r102358 svn:log
by ryandesign＠macports.org 01 Feb '13

01 Feb '13

Author: ryandesign(a)macports.org (original author: cal(a)macports.org) Revision: 102358 Property Name: svn:log --- /var/tmp/revprops/pre-102358-ryandesign(a)macports.org 2013-01-31 16:48:09.727139235 -0800 +++ /var/tmp/revprops/post-102358-ryandesign(a)macports.org 2013-01-31 16:48:09.797263925 -0800 @@ -1 +1 @@ -port_cutleaves: add macports category +port_cutleaves: add macports category (#37832)

1 0

[102358] trunk/dports/sysutils/port_cutleaves/Portfile
by cal＠macports.org 01 Feb '13

01 Feb '13

Revision: 102358 https://trac.macports.org/changeset/102358 Author: cal(a)macports.org Date: 2013-01-31 16:17:23 -0800 (Thu, 31 Jan 2013) Log Message: ----------- port_cutleaves: add macports category Modified Paths: -------------- trunk/dports/sysutils/port_cutleaves/Portfile Modified: trunk/dports/sysutils/port_cutleaves/Portfile =================================================================== --- trunk/dports/sysutils/port_cutleaves/Portfile 2013-02-01 00:06:31 UTC (rev 102357) +++ trunk/dports/sysutils/port_cutleaves/Portfile 2013-02-01 00:17:23 UTC (rev 102358) @@ -5,7 +5,7 @@ name port_cutleaves version 0.1.3 revision 2 -categories sysutils +categories sysutils macports maintainers perry openmaintainer platforms darwin supported_archs noarch

1 0

[102357] trunk/dports/java/dex2jar/Portfile
by cal＠macports.org 01 Feb '13

01 Feb '13

Revision: 102357 https://trac.macports.org/changeset/102357 Author: cal(a)macports.org Date: 2013-01-31 16:06:31 -0800 (Thu, 31 Jan 2013) Log Message: ----------- dex2jar: fix description, remove non-existing category "android" Modified Paths: -------------- trunk/dports/java/dex2jar/Portfile Modified: trunk/dports/java/dex2jar/Portfile =================================================================== --- trunk/dports/java/dex2jar/Portfile 2013-01-31 23:28:24 UTC (rev 102356) +++ trunk/dports/java/dex2jar/Portfile 2013-02-01 00:06:31 UTC (rev 102357) @@ -8,16 +8,16 @@ revision 1 maintainers cal openmaintainer -categories java android devel +categories java devel description Tools to work with android .dex and java .class files long_description dex2jar contains 4 components:\n\ - dex-reader is designed to read the Dalvik Executable (.dex/.odex) format.\ It has a lightweight API similar with ASM.\n\ - dex-translator is designed to do the convert job. It reads the dex\ instruction to dex-ir format, after some optimization, and converts to ASM\ - format.\ + format.\n\ - dex-ir used by dex-translator, is designed to represent the dex\ - instruction.\ + instruction.\n\ - dex-tools is a set of tools to work with .class files, e.g., to modify an\ apk or de-obfuscate a jar.

1 0