hobbes: fix build, unstable-2021-04-28 -> unstable-2023-06-03

This commit is contained in:
Emil "AngryAnt" Johansen 2023-06-07 10:56:34 +02:00
parent b575d76ce1
commit 6913733c57
No known key found for this signature in database
GPG Key ID: 0C6DFE2FB234534A

View File

@ -1,14 +1,24 @@
{ lib, stdenv, fetchFromGitHub, cmake, llvm_12, ncurses, readline, zlib, libxml2 }:
stdenv.mkDerivation {
{ lib
, stdenv
, llvmPackages_10
, fetchFromGitHub
, cmake
, llvm_12
, ncurses
, readline
, zlib
, libxml2
, python3
}:
llvmPackages_10.stdenv.mkDerivation {
pname = "hobbes";
version = "unstable-2021-04-28";
version = "unstable-2023-06-03";
src = fetchFromGitHub {
owner = "morgan-stanley";
owner = "morganstanley";
repo = "hobbes";
rev = "737c7ca63516f6b3dca0e659c3de75d4325472d6";
sha256 = "0fjsmz1sbrp6464mrb9ha7p615w2l2pdldsc2ayvcrvxfyi1r4gj";
rev = "88a712b85bc896a4c87e60c12321445f1cdcfd00";
hash = "sha256-2v0yk35/cLKTjX0Qbc8cjc7Y6bamRSa9GpPvGoxL2Cw=";
};
# TODO: re-enable Python tests once they work on Python 3
@ -27,6 +37,7 @@ stdenv.mkDerivation {
readline
zlib
libxml2
python3
];
doCheck = true;