Ticket #19057: Portfile.diff

File Portfile.diff, 1.1 KB (added by MarcusCalhoun-Lopez (Marcus Calhoun-Lopez), 15 years ago)

  • Portfile

    old new  
    1414master_sites      http://www.dina.kvl.dk/~sestoft/mosml
    1515distfiles         mos201src.tar.gz
    1616checksums         md5 74aaaf988201fe92a9dbfbcb1e646f70
    17 patchfiles        patch-configure.diff\
    18                   patch-src-Makefile.diff\
     17patchfiles        patch-src-Makefile.diff\
    1918                  patch-src-Makefile-inc.diff\
    2019                  patch-src-launch-Makefile.diff\
    2120                  patch-src-dynlibs.diff
     21worksrcdir        mosml
    2222post-patch {
    23   file attributes configure -permissions +x
     23   reinplace  "s|/usr/bin/cpp|${configure.cpp}|"  ${worksrcpath}/src/Makefile.inc
     24   reinplace  "s|LD=gcc|LD=${configure.cc}|"      ${worksrcpath}/src/Makefile.inc
     25   reinplace  "s|CC=gcc|CC=${configure.cc}|"      ${worksrcpath}/src/Makefile.inc
    2426}
    25 worksrcdir        mosml
     27configure.dir     ${worksrcpath}/src/config
     28configure.cmd     ./autoconf
     29configure.pre_args ${configure.cc}
    2630build.target      world
    2731build.pre_args    -Csrc DESTROOT=${prefix} ${build.target}
    2832destroot.pre_args -Csrc DESTROOT=${destroot}${prefix} ${destroot.target}