Ticket #600: diff_lablgtk
File diff_lablgtk, 486 bytes (added by ole_guldberg@…, 21 years ago) |
---|
Line | |
---|---|
1 | --- Portfile.org Thu May 29 10:22:52 2003 |
2 | +++ Portfile Thu May 29 11:00:50 2003 |
3 | @@ -22,7 +22,7 @@ |
4 | configure { |
5 | #weird weird build process |
6 | cd ${worksrcpath} |
7 | - system "make configure" |
8 | + system "make configure INSTALLDIR=${destroot}${prefix}/lib/ocaml/lablgtk BINDIR=${destroot}${prefix}/bin" |
9 | system "make" |
10 | } |
11 | build.target opt |
12 | @@ -30,4 +30,3 @@ |
13 | system "ranlib ${prefix}/lib/ocaml/lablgtk/lablgtk.a" |
14 | system "ranlib ${prefix}/lib/ocaml/lablgtk/liblablgtk.a" |
15 | } |
16 | -include contents |