diff options
| author | Joseph Flynn <jjf22@njit.edu> | 2012-04-28 11:31:27 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-06-21 21:51:50 (EDT) |
| commit | 1043fe37f34455ce5ef8b994db89810b1e5fa76a (patch) | |
| tree | 6fbb0753a7607ab8a09f8db12c22bfe3ed7e5b59 /build | |
Initial commit.
Diffstat (limited to 'build')
| -rw-r--r-- | build | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -0,0 +1,16 @@ +#! /usr/bin/make -f + +libffi : libffi.buildstamp + +.SILENT: libffi.buildstamp +libffi.buildstamp: + cd src && \ + ./configure --prefix=/usr && \ + make && make DESTDIR=$$(pwd)/../dest install + oh-strip -gl /usr/local/lib/libffi.so + oh-strip -gl /usr/local/lib/libffi.so.5 + oh-installfiles libffi + oh-installdocs libffi + oh-gencontrol libffi + oh-buildopk libffi + touch libffi.buildstamp |