mirror of
https://github.com/pygos/build.git
synced 2024-11-22 19:19:46 +01:00
525b36aa89
- Don't duplicate shared objects, use the ones from the deploy directory when building dependend packages - Add helper function for moving headers, static libraries and pkgconfig data to devdeploy directory Signed-off-by: David Oberhollenzer <david.oberhollenzer@tele2.at>
34 lines
582 B
Text
Executable file
34 lines
582 B
Text
Executable file
VERSION="6.1.2"
|
|
SRCDIR="gmp-$VERSION"
|
|
TARBALL="gmp-$VERSION.tar.bz2"
|
|
URL="http://ftp.gnu.org/gnu/gmp"
|
|
SHA256SUM="5275bb04f4863a13516b2f39392ac5e272f5e1bb8057b18aec1c9b79d73d8fb2"
|
|
DEPENDS=""
|
|
|
|
prepare() {
|
|
return
|
|
}
|
|
|
|
build() {
|
|
local SOURCE="$1"
|
|
local BUILD="$2"
|
|
|
|
$SOURCE/configure --prefix="" --host="$TARGET" \
|
|
--disable-static --enable-cxx
|
|
|
|
make -j $NUMJOBS
|
|
}
|
|
|
|
deploy() {
|
|
local SOURCE="$1"
|
|
local BUILD="$2"
|
|
local DEPLOY="$3"
|
|
local DEVDEPLOY="$4"
|
|
|
|
make DESTDIR="$DEPLOY" install
|
|
|
|
rm ${DEPLOY}/lib/*.la
|
|
rm -r "$DEPLOY/share"
|
|
|
|
split_dev_deploy "$DEPLOY" "$DEVDEPLOY"
|
|
}
|