Skip to content

Instantly share code, notes, and snippets.

@patrl
Created October 7, 2023 17:26
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save patrl/9ee996fb40945ce48c77255810d6404f to your computer and use it in GitHub Desktop.
Save patrl/9ee996fb40945ce48c77255810d6404f to your computer and use it in GitHub Desktop.
A derivation for Graham Nelson's inweb and intest
{ pkgs ? import <nixpkgs> {} }:
pkgs.stdenv.mkDerivation {
pname = "inweb";
version = "7.2.0";
srcs = [ ./inweb-7.2.0.tar.gz ./intest-2.1.0.tar.gz ];
setSourceRoot = ''
mkdir work
mv inweb-7.2.0 ./work/inweb
mv intest-2.1.0 ./work/intest
sourceRoot="./work"
'';
buildPhase = ''
bash inweb/scripts/first.sh linux
bash intest/scripts/first.sh
'';
doCheck = true;
checkPhase = ''
intest/Tangled/intest inweb all
intest/Tangled/intest inweb/foundation-test all
'';
installPhase = ''
mkdir -p $out/bin
cp inweb/Tangled/inweb $out/bin
cp intest/Tangled/intest $out/bin
'';
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment