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

Merge pull request #36942 from xeji/p/manticore

Browse Source 
manticore: 2014.08.18 -> 2017.08.22, fix build
This commit is contained in:
Gabriel Ebner 2018-03-17 13:24:28 +01:00 committed by GitHub
commit f1ff1fe244
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/development/compilers/manticore/default.nix
View File

@ -1,15 +1,15 @@
{ stdenv, fetchFromGitHub, coreutils, autoreconfHook, smlnj }: { stdenv, fetchFromGitHub, coreutils, autoreconfHook, smlnj }:
let let
rev = "592a5714595b4448b646a7d49df04c285668c2f8"; rev= "f8e08c89dd98b7b8dba318d245dcd4abd3328ae2";
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
name = "manticore-${version}"; name = "manticore-${version}";
version = "2014.08.18"; version = "2017.08.22";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "rrnewton"; owner = "ManticoreProject";
repo = "manticore_temp_mirror"; repo = "manticore";
sha256 = "1snwlm9a31wfgvzb80y7r7yvc6n0k0bi675lqwzll95as7cdswwi"; sha256 = "06icq0qdzwyzbsyms53blxpb9i26n2vn7ci8p9xvvnq687hxhr73";
inherit rev; inherit rev;
}; };
@ -25,7 +25,7 @@ in stdenv.mkDerivation rec {
mkdir -p $out mkdir -p $out
cd $out cd $out
unpackFile $src unpackFile $src
mv manticore_temp_mirror-${rev}-src repo_checkout mv source repo_checkout
cd repo_checkout cd repo_checkout
chmod u+w . -R chmod u+w . -R
''; '';