BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

clips: 6.30 -> 6.31; supersedes and closes #109914 (#114132)

Browse source 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
This commit is contained in:
Christopher League 2021-02-26 12:16:54 -05:00 committed by GitHub
parent 4f1bbdc882
commit 218353d3f0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
pkgs/development/interpreters/clips/default.nix
View file

@ -1,17 +1,19 @@
{ lib, stdenv, fetchurl }:
stdenv.mkDerivation {
version = "6.30";
stdenv.mkDerivation rec {
version = "6.31";
pname = "clips";
src = fetchurl {
url = "mirror://sourceforge/clipsrules/CLIPS/6.30/clips_core_source_630.tar.Z";
sha256 = "1r0m59l3mk9cwzq3nmyr5qxrlkzp3njls4hfv8ml85dmqh7n3ysy";
url = "mirror://sourceforge/clipsrules/CLIPS/${version}/clips_core_source_${
builtins.replaceStrings [ "." ] [ "" ] version
}.tar.gz";
sha256 = "165k0z7dsv04q432sanmw0jxmxwf56cnhsdfw5ffjqxd3lzkjnv6";
};
buildPhase = ''
make -C core -f ../makefiles/makefile.gcc
'';
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";
@ -23,7 +25,7 @@ stdenv.mkDerivation {
easier to implement and maintain than an algorithmic solution.
'';
license = licenses.publicDomain;
maintainers = [maintainers.league];
maintainers = [ maintainers.league ];
platforms = platforms.linux;
};
}