Merge staging-next into staging

This commit is contained in:
github-actions[bot]
2021-03-07 00:41:13 +00:00
committed by GitHub
50 changed files with 368 additions and 146 deletions

View File

@@ -3,18 +3,26 @@
stdenv.mkDerivation rec {
version = "6.31";
pname = "clips";
src = fetchurl {
url = "mirror://sourceforge/clipsrules/CLIPS/${version}/clips_core_source_${
builtins.replaceStrings [ "." ] [ "" ] version
}.tar.gz";
sha256 = "165k0z7dsv04q432sanmw0jxmxwf56cnhsdfw5ffjqxd3lzkjnv6";
};
postPatch = ''
substituteInPlace core/makefile --replace 'gcc' '${stdenv.cc.targetPrefix}cc'
'';
makeFlags = [ "-C" "core" ];
installPhase = ''
runHook preInstall
install -D -t $out/bin core/clips
runHook postInstall
'';
meta = with lib; {
description = "A Tool for Building Expert Systems";
homepage = "http://www.clipsrules.net/";
@@ -26,6 +34,6 @@ stdenv.mkDerivation rec {
'';
license = licenses.publicDomain;
maintainers = [ maintainers.league ];
platforms = platforms.linux;
platforms = platforms.unix;
};
}