nixpkgs/pkgs/development/compilers/gerbil/default.nix

69 lines
1.7 KiB
Nix
Raw Normal View History

2017-06-29 04:14:22 +02:00
{ stdenv, fetchurl, fetchgit, gambit,
coreutils, rsync, bash,
openssl, zlib, sqlite, libxml2, libyaml, libmysql, lmdb, leveldb }:
2017-06-03 02:26:52 +02:00
stdenv.mkDerivation rec {
name = "gerbil-${version}";
2017-06-29 04:14:22 +02:00
version = "0.12-DEV";
src = fetchgit {
url = "https://github.com/vyzo/gerbil.git";
rev = "3657b6e940ea248e0b312f276590e38ff68997e7";
sha256 = "11ys7082ghkm4yikz4qxmv3jpxcr42jfi0jhjw1mpzbqdg6004w2";
2017-06-03 02:26:52 +02:00
};
2017-06-29 04:14:22 +02:00
buildInputs = [
gambit openssl
coreutils rsync bash
zlib openssl zlib sqlite libxml2 libyaml libmysql lmdb leveldb
];
2017-06-03 02:26:52 +02:00
postPatch = ''
patchShebangs .
2017-06-03 02:26:52 +02:00
find . -type f -executable -print0 | while IFS= read -r -d ''$'\0' f; do
2017-06-03 02:26:52 +02:00
substituteInPlace "$f" --replace '#!/usr/bin/env' '#!${coreutils}/bin/env'
done
'';
buildPhase = ''
runHook preBuild
2017-06-29 04:14:22 +02:00
# Enable all optional libraries
substituteInPlace "src/std/build-features.ss" --replace '#f' '#t'
# Build, replacing make by build.sh
2017-06-03 02:26:52 +02:00
( cd src && sh build.sh )
2017-06-29 04:14:22 +02:00
runHook postBuild
2017-06-03 02:26:52 +02:00
'';
installPhase = ''
runHook preInstall
mkdir -p $out/
cp -fa bin lib etc doc $out/
cat > $out/bin/gxi <<EOF
#!${bash}/bin/bash -e
export GERBIL_HOME=$out
case "\$1" in -:*) GSIOPTIONS=\$1 ; shift ;; esac
if [[ \$# = 0 ]] ; then
${gambit}/bin/gsi \$GSIOPTIONS \$GERBIL_HOME/lib/gxi-init \$GERBIL_HOME/lib/gxi-interactive - ;
else
${gambit}/bin/gsi \$GSIOPTIONS \$GERBIL_HOME/lib/gxi-init "\$@"
fi
EOF
runHook postInstall
2017-06-03 02:26:52 +02:00
'';
dontStrip = true;
meta = {
2017-06-15 12:47:07 +02:00
description = "Gerbil Scheme";
2017-06-03 02:26:52 +02:00
homepage = "https://github.com/vyzo/gerbil";
license = stdenv.lib.licenses.lgpl2;
platforms = stdenv.lib.platforms.linux;
maintainers = with stdenv.lib.maintainers; [ fare ];
};
}