Ticket #22740: Portfile.diff

File Portfile.diff, 1.3 KB (added by mail@…, 15 years ago)
  • Portfile

    old new  
    2424
    2525fetch.type          git
    2626git.url             http://www.auto.tuwien.ac.at/~mkoegler/git/pthsem.git
     27git.branch          434babeea964b320fd8d11a161f76749642527a8
    2728
    2829depends_build       port:pkgconfig \
     30                    port:autoconf \
     31                    port:automake \
    2932                    port:libtool \
    3033                    port:git-core
    3134
     35# generate configure script
     36pre-configure {
     37                    system "cd ${worksrcpath} && autoheader"
     38                    system "cd ${worksrcpath} && aclocal"
     39                    system "cd ${worksrcpath} && glibtoolize"
     40                    system "cd ${worksrcpath} && autoconf"
     41                    system "cd ${worksrcpath} && automake --add-missing"
     42}
     43
    3244configure.args      --enable-optimize --mandir=${prefix}/share/man
    3345
    3446test.run            yes
    3547
     48# rename man-pages, because of nameclash with pth
     49post-destroot {
     50                    file rename ${destroot}/${prefix}/share/man/man1/pth-config.1 ${destroot}/${prefix}/share/man/man1/pthsem-config.1
     51                    file rename ${destroot}/${prefix}/share/man/man3/pth.3 ${destroot}/${prefix}/share/man/man3/pthsem.3
     52}
     53
    3654use_parallel_build  no