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  
    11# $Id: Portfile 71891 2010-09-26 06:07:19Z ryandesign@macports.org $
    22
    33PortSystem      1.0
    4 
    54name            yap-devel
     5set real_name   yap
    66conflicts       yap
    7 version         6.0.7
     7version         6.2.0
    88categories      lang
    99maintainers     logtalk.org:pmoura
    1010platforms       darwin
     
    2020                with Quintus and SICStus Prolog.
    2121
    2222homepage        http://www.dcc.fc.up.pt/~vsc/Yap/
     23master_sites    ${homepage}
    2324
    24 fetch.type          git
    25 git.url             git://yap.dcc.fc.up.pt/yap-6
    26 git.branch          8ee9cc2d492f7b085104798d5a34bd9545a4844b
     25fetch.type      git
     26git.url         git://yap.dcc.fc.up.pt/yap-6
     27git.branch      origin/master
    2728
    28 depends_lib             port:readline port:gmp
     29post-fetch      {
     30    system "cd ${workpath}/${worksrcdir} && git submodule init && git submodule update"
     31}
    2932
    3033worksrcdir      yap-6
    3134
    32 configure.args  --with-gmp=${prefix} \
    33                 --with-readline=${prefix}
     35depends_lib         \
     36    port:readline   \
     37    port:gmp        \
     38    port:libcudd
     39
     40universal_variant   no
     41
     42configure.args      \
     43        --prefix=${prefix} --with-gmp=${prefix} --with-readline=${prefix} -with-cudd=${prefix}
    3444
    3545if {${os.platform} == "darwin" && ${build_arch} == "x86_64"} {
    3646    configure.args-append --build=${build_arch}-apple-${os.platform}${os.version}
    3747}
    3848
    39 default_variants +java
     49default_variants +tabling +java
    4050
    4151variant tabling {
    4252    configure.args-append --enable-tabling