3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #235801 from AngryAnt/hobbes/zhf-23.05

hobbes: fix build
This commit is contained in:
Rick van Schijndel 2023-06-09 08:25:27 +02:00 committed by GitHub
commit f3aec7265d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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;