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

mcrl2: 202206 -> 202307

Browse Source 
Among other things fixes `gcc-13` build fix as
https://hydra.nixos.org/build/247554470:

    In file included from /build/mcrl2-202206.1/libraries/utilities/source/bitstream.cpp:10:
    /build/mcrl2-202206.1/libraries/utilities/include/mcrl2/utilities/bitstream.h:56:25: error: 'uint8_t' in namespace 'std' does not name a type; did you mean 'wint_t'?
       56 |   void write(const std::uint8_t* buffer, std::size_t size);
          |                         ^~~~~~~
          |                         wint_t
This commit is contained in:
Sergei Trofimovich 2024-02-10 10:14:43 +00:00
parent 2394210484
commit d952b5884c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/mcrl2/default.nix
View File

@ -1,13 +1,13 @@
{lib, stdenv, fetchurl, cmake, libGLU, libGL, qt5, boost}: {lib, stdenv, fetchurl, cmake, libGLU, libGL, qt5, boost}:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "202206"; version = "202307";
build_nr = "1"; build_nr = "1";
pname = "mcrl2"; pname = "mcrl2";
src = fetchurl { src = fetchurl {
url = "https://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz"; url = "https://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz";
sha256 = "KoLt8IU/vCdYqzJukNuaZfl8bWiOKB0UxWHEdQj3buU="; hash = "sha256-zCHCO8tGyOxqUc0x3t/N3dUh4eG7slemlgK/QZsA4JA=";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];