gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

scalp: 0-unstable-2024-08-28 -> 0-unstable-2026-06-29 (#538472)

Browse Source
This commit is contained in:
Weijia Wang
2026-07-06 12:46:20 +00:00
committed by GitHub
parent 93a2cb7196 3602c01cc1
commit 2cb59732bc
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/sc/scalp/package.nix
+3 -4
View File
@@ -14,17 +14,16 @@
stdenv.mkDerivation rec {
pname = "scalp";
version = "0-unstable-2024-08-28";
version = "0-unstable-2026-06-29";
src = fetchgit {
url = "https://digidev.digi.e-technik.uni-kassel.de/git/scalp.git";
# mirrored at https://git.sr.ht/~weijia/scalp
rev = "4a8e8b850a57328d9377ea7955c27c437394ebd3";
hash = "sha256-6OEf3yWFBmTKgeTMojRMRf/t9Ec1i851Lx3mQjCeOuw=";
rev = "91b4e52db746b0d25f6866143ee7a4a0defdeec5";
hash = "sha256-0VKBdz/XU2Pd9fsKBga/2KBexCqs/DyUpih1Qx2JLeA=";
};
postPatch = ''
sed -i "1i\#include <cstdint>" src/ScaLP/Solver.cpp
substituteInPlace CMakeLists.txt \
--replace-fail "cmake_minimum_required (VERSION 3.3.2)" "cmake_minimum_required (VERSION 3.5)" \
--replace-fail "\''$ORIGIN" "\''${CMAKE_INSTALL_PREFIX}/lib" \