dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #316628 from DanielSidhion/clips-update

Browse Source 
clips: 6.40 -> 6.4.1
This commit is contained in:
Nick Cao 2024-06-03 09:52:29 -04:00 committed by GitHub
commit 0f00b609de
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/interpreters/clips/default.nix
View File

@ -1,14 +1,14 @@
{ lib, stdenv, fetchurl }:
stdenv.mkDerivation rec {
version = "6.40";
version = "6.4.1";
pname = "clips";
src = fetchurl {
url = "mirror://sourceforge/clipsrules/CLIPS/${version}/clips_core_source_${
builtins.replaceStrings [ "." ] [ "" ] version
}.tar.gz";
sha256 = "1pr5l61zxf6kjs8b2b028g2aq45pigavwjmrf4l5mrdmlnk3fq5d";
hash = "sha256-qk87uLFZZL9HNPNlyVh+Mplr3dP1C/z1O5UVS+rnbuM=";
};
postPatch = ''
@ -20,6 +20,8 @@ stdenv.mkDerivation rec {
installPhase = ''
runHook preInstall
install -D -t $out/bin core/clips
install -D -t $out/lib core/libclips.a
install -D -t $out/include core/*.h
runHook postInstall
'';