diff options
Diffstat (limited to 'data/boost_/make.sh')
| -rw-r--r-- | data/boost_/make.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/data/boost_/make.sh b/data/boost_/make.sh deleted file mode 100644 index 483aa3d4c..000000000 --- a/data/boost_/make.sh +++ /dev/null @@ -1,12 +0,0 @@ -shopt -s extglob -pkg:setup -./configure --prefix=/usr --without-icu --without-libraries=python -echo 'using darwin ;' >user-config.jam -make -make install PREFIX="${PKG_DEST}/usr" -rm -f "${PKG_DEST}"/usr/lib/*-d?(-+([0-9_])).@(a|dylib) -for na in "${PKG_DEST}"/usr/lib/*-+([0-9_]).a; do - a=${na/-+([0-9_]).a/.a} - rm -f "$a" - ln -s "$(basename "$na")" "$a" -done |