New Ticket     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #13980: Portfile-swi-prolog-lite.diff

File Portfile-swi-prolog-lite.diff, 2.7 KB (added by pmoura@…, 4 years ago)

  • Portfile

    old new  
    22 
    33PortSystem      1.0 
    44name            swi-prolog-lite 
    5 version         5.6.12 
     5version         5.6.49 
    66 
    77categories      lang 
    8 maintainers     pmoura@mac.com 
     8maintainers     wielemak@science.uva.nl pmoura@logtalk.org 
    99platforms       darwin 
    1010description     SWI-Prolog compiler (without extra packages) 
    1111 
    … …  
    2020                (Emacs-clone) and graphical debugger). 
    2121 
    2222homepage        http://www.swi-prolog.org/ 
    23 master_sites    http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/ \ 
    24                         ftp://gollem.science.uva.nl/SWI-Prolog/ 
     23 
     24master_sites    http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/ 
     25 
    2526dist_subdir     swi-prolog 
    26 checksums       sha1 198c14553ae9602213289fb43e532c30ea8cab1c 
     27 
     28checksums       md5     5f59ce2dd2df2c073120f25205371ddf 
    2729 
    2830depends_lib     port:readline 
    2931 
    3032distname        pl-${version} 
    3133worksrcdir      pl-${version}/src 
    3234 
    33 configure.cflags-append "-I${prefix}/include" 
    34 configure.env   CIFLAGS="-I${prefix}/include" 
    35  
    36 configure.args  --mandir=/${prefix}/share/man \ 
    37                 --disable-gmp \ 
    38                 --enable-shared \ 
    39                 --enable-mt 
    40  
    41 variant st      { configure.args-delete --enable-mt 
    42                 configure.args-append --disable-mt } 
    43  
    44 platform darwin 6 { depends_lib-append lib:libdl:dlcompat } 
    45 platform darwin 8 { configure.compiler  gcc-4.0 } 
    46  
     35configure.args  \ 
     36        --prefix=${prefix}                              \ 
     37        --mandir=${prefix}/share/man    \ 
     38        --disable-gmp \ 
     39        --enable-shared \ 
     40        --enable-mt 
     41 
     42platform darwin 6 { 
     43        depends_lib-append lib:libdl:dlcompat 
     44} 
     45 
     46post-build { 
     47        file mkdir ${workpath}/macosx 
     48        file copy -force -- ${workpath}/pl-${version}/man/macosx/License.html ${workpath}/macosx/ 
     49        file copy -force -- ${workpath}/pl-${version}/man/macosx/macosx.html ${workpath}/macosx/ 
     50        file copy -force -- ${workpath}/pl-${version}/man/macosx/Welcome.html ${workpath}/macosx/ 
     51} 
     52 
     53post-pkg { 
     54        set resources ${workpath}/${name}-${version}.pkg/Contents/Resources/ 
     55        file copy -force -- ${workpath}/macosx/License.html ${resources} 
     56        file copy -force -- ${workpath}/macosx/macosx.html ${resources} 
     57        file copy -force -- ${workpath}/macosx/Welcome.html ${resources} 
     58        file rename ${resources}/macosx.html ${resources}/ReadMe.html 
     59        file delete -force -- ${resources}/Welcome.rtf 
     60} 
     61 
     62post-mpkg { 
     63        set resources ${workpath}/${name}-${version}.mpkg/Contents/Resources/ 
     64        file copy -force -- ${workpath}/macosx/License.html ${resources} 
     65        file copy -force -- ${workpath}/macosx/macosx.html ${resources} 
     66        file copy -force -- ${workpath}/macosx/Welcome.html ${resources} 
     67        file rename ${resources}/macosx.html ${resources}/ReadMe.html 
     68        file delete -force -- ${resources}/Welcome.rtf 
     69} 
     70 
     71default_variants +mt 
     72 
     73variant st { 
     74        configure.args-append --disable-mt 
     75} 
     76 
     77variant mt { 
     78        configure.args-append --enable-mt 
     79}