Ticket #26567: Portfile-yap-devel.diff
File Portfile-yap-devel.diff, 1.5 KB (added by pmoura (Paulo Moura), 14 years ago) |
---|
-
Portfile
old new 1 1 # $Id: Portfile 71891 2010-09-26 06:07:19Z ryandesign@macports.org $ 2 2 3 3 PortSystem 1.0 4 5 4 name yap-devel 5 set real_name yap 6 6 conflicts yap 7 version 6. 0.77 version 6.2.0 8 8 categories lang 9 9 maintainers logtalk.org:pmoura 10 10 platforms darwin … … 20 20 with Quintus and SICStus Prolog. 21 21 22 22 homepage http://www.dcc.fc.up.pt/~vsc/Yap/ 23 master_sites ${homepage} 23 24 24 fetch.type 25 git.url 26 git.branch 8ee9cc2d492f7b085104798d5a34bd9545a4844b25 fetch.type git 26 git.url git://yap.dcc.fc.up.pt/yap-6 27 git.branch origin/master 27 28 28 depends_lib port:readline port:gmp 29 post-fetch { 30 system "cd ${workpath}/${worksrcdir} && git submodule init && git submodule update" 31 } 29 32 30 33 worksrcdir yap-6 31 34 32 configure.args --with-gmp=${prefix} \ 33 --with-readline=${prefix} 35 depends_lib \ 36 port:readline \ 37 port:gmp \ 38 port:libcudd 39 40 universal_variant no 41 42 configure.args \ 43 --prefix=${prefix} --with-gmp=${prefix} --with-readline=${prefix} -with-cudd=${prefix} 34 44 35 45 if {${os.platform} == "darwin" && ${build_arch} == "x86_64"} { 36 46 configure.args-append --build=${build_arch}-apple-${os.platform}${os.version} 37 47 } 38 48 39 default_variants + java49 default_variants +tabling +java 40 50 41 51 variant tabling { 42 52 configure.args-append --enable-tabling