Ticket #22740: Portfile.diff
File Portfile.diff, 1.3 KB (added by mail@…, 15 years ago) |
---|
-
Portfile
old new 24 24 25 25 fetch.type git 26 26 git.url http://www.auto.tuwien.ac.at/~mkoegler/git/pthsem.git 27 git.branch 434babeea964b320fd8d11a161f76749642527a8 27 28 28 29 depends_build port:pkgconfig \ 30 port:autoconf \ 31 port:automake \ 29 32 port:libtool \ 30 33 port:git-core 31 34 35 # generate configure script 36 pre-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 32 44 configure.args --enable-optimize --mandir=${prefix}/share/man 33 45 34 46 test.run yes 35 47 48 # rename man-pages, because of nameclash with pth 49 post-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 36 54 use_parallel_build no