2021-10-23 12:06:58 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
# variables
|
|
|
|
GITHUB_REPO=mthom/scryer-prolog
|
2022-01-22 10:52:07 +01:00
|
|
|
VERSION=${VERSION:-latest}
|
2021-10-23 12:06:58 +02:00
|
|
|
BUILD=${BUILD:-1}
|
|
|
|
|
|
|
|
TAG=gwh
|
|
|
|
TMP=/tmp/$TAG
|
|
|
|
CWD=$(pwd)
|
|
|
|
|
|
|
|
PRGNAM=$(basename $CWD)
|
|
|
|
PKG=$TMP/pkg-$PRGNAM
|
|
|
|
OUTPUT=${OUTPUT:-/tmp}
|
|
|
|
|
|
|
|
ARCH=${ARCH:-$(uname -m)}
|
|
|
|
|
2022-01-22 19:52:02 +01:00
|
|
|
REPOSITORY=${REPOSITORY:-/home/installs/SlackBuilds/_repositories/$PRGNAM}
|
2021-10-23 12:06:58 +02:00
|
|
|
PREFIX=${PREFIX:-/usr}
|
|
|
|
|
|
|
|
# nettoyage préalable
|
2022-03-03 10:44:46 +01:00
|
|
|
rm -fr $PKG $TMP/$PRGNAM
|
2021-10-23 12:06:58 +02:00
|
|
|
|
|
|
|
mkdir -p $PKG
|
|
|
|
|
|
|
|
# mise en place
|
|
|
|
cd $TMP
|
|
|
|
[ ! -e $REPOSITORY ] && git clone https://github.com/${GITHUB_REPO}.git $REPOSITORY
|
|
|
|
cd $REPOSITORY
|
|
|
|
git pull --all
|
|
|
|
|
|
|
|
cp -R $REPOSITORY $TMP/
|
|
|
|
cd $TMP/$PRGNAM
|
2022-10-03 16:35:04 +02:00
|
|
|
[ "x$VERSION" == "xlatest" ] && VERSION=$(git describe --tags --abbrev=0)
|
2022-01-22 10:52:07 +01:00
|
|
|
[ "x$VERSION" == "x" ] && VERSION=trunk
|
2023-03-23 09:54:21 +01:00
|
|
|
[ "x$VERSION" == "xtrunk" ] && VERSION="git_r$(git rev-list --count HEAD)_$(git log -1 --format=%h)" || git checkout $VERSION
|
2021-10-23 12:06:58 +02:00
|
|
|
|
|
|
|
cargo build --release
|
|
|
|
|
|
|
|
mkdir -p $PKG$PREFIX/bin
|
|
|
|
find target/release/ -type f -executable -maxdepth 1 -exec cp {} $PKG$PREFIX/bin/ \;
|
|
|
|
chmod 755 $PKG$PREFIX/bin/*
|
|
|
|
|
|
|
|
# move doc/ to the appropriate location
|
|
|
|
mkdir -p $PKG$PREFIX/doc/$PRGNAM
|
|
|
|
cp LICENSE* *.md $PKG$PREFIX/doc/$PRGNAM
|
|
|
|
|
|
|
|
# correction
|
|
|
|
cd $PKG
|
|
|
|
chown -R root:root *
|
|
|
|
|
2022-03-03 10:28:31 +01:00
|
|
|
[ -d $PKG$PREFIX/man ] && find $PKG$PREFIX/man -type f -not -name \*.gz -exec gzip -9 {} \;
|
2021-10-23 12:06:58 +02:00
|
|
|
|
|
|
|
# embaumement
|
|
|
|
mkdir -p $PKG/install
|
|
|
|
|
|
|
|
cat <<EOF > $PKG/install/slack-desc
|
|
|
|
# HOW TO EDIT THIS FILE:
|
|
|
|
# The "handy ruler" below makes it easier to edit a package description. Line
|
|
|
|
# up the first '|' above the ':' following the base package name, and the '|'
|
|
|
|
# on the right side marks the last column you can put a character in. You must
|
|
|
|
# make exactly 11 lines for the formatting to be correct. It's also
|
|
|
|
# customary to leave one space after the ':'.
|
|
|
|
|
|
|
|
|-----handy-ruler------------------------------------------------------|
|
|
|
|
$PRGNAM: $PRGNAM (A modern Prolog implementation written mostly in Rust.)
|
|
|
|
$PRGNAM:
|
|
|
|
$PRGNAM:
|
|
|
|
$PRGNAM:
|
|
|
|
$PRGNAM:
|
|
|
|
$PRGNAM:
|
|
|
|
$PRGNAM:
|
|
|
|
$PRGNAM:
|
|
|
|
$PRGNAM:
|
|
|
|
$PRGNAM:
|
|
|
|
$PRGNAM: https://github.com/${GITHUB_REPO}
|
|
|
|
EOF
|
|
|
|
|
|
|
|
# empaquetage
|
|
|
|
rm -f $PKG/{,usr/}lib$(uname -m | grep -o 64)/*.la
|
2023-08-16 12:23:26 +02:00
|
|
|
/sbin/makepkg --linkadd y --chown n --prepend $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.txz
|