2017-03-25 14:54:24 +00:00
|
|
|
{ stdenv, fetchFromGitHub, coreutils, autoreconfHook, smlnj }:
|
2014-08-19 07:36:57 +01:00
|
|
|
|
2017-03-25 14:54:24 +00:00
|
|
|
let
|
2019-09-24 12:21:38 +01:00
|
|
|
rev= "4528ccacdfd53d36f5959c005b27cd7ab6175b83";
|
2019-08-13 22:52:01 +01:00
|
|
|
in stdenv.mkDerivation {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "manticore";
|
2019-09-24 12:21:38 +01:00
|
|
|
version = "2019.09.20";
|
2017-03-25 14:54:24 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
2018-03-13 22:51:19 +00:00
|
|
|
owner = "ManticoreProject";
|
|
|
|
repo = "manticore";
|
2019-09-24 12:21:38 +01:00
|
|
|
sha256 = "1xz7msiq5x2c56zjxydbxlj6r001mm5zszcda6f6v5qfmmd1bakz";
|
2017-03-25 14:54:24 +00:00
|
|
|
inherit rev;
|
2014-08-19 07:36:57 +01:00
|
|
|
};
|
2017-03-25 14:54:24 +00:00
|
|
|
|
|
|
|
enableParallelBuilding = false;
|
|
|
|
|
|
|
|
nativeBuildInputs = [ autoreconfHook ];
|
|
|
|
|
|
|
|
buildInputs = [ coreutils smlnj ];
|
|
|
|
|
|
|
|
autoreconfFlags = "-Iconfig -vfi";
|
|
|
|
|
2017-03-25 18:43:42 +00:00
|
|
|
unpackPhase = ''
|
|
|
|
mkdir -p $out
|
|
|
|
cd $out
|
|
|
|
unpackFile $src
|
2018-03-13 22:51:19 +00:00
|
|
|
mv source repo_checkout
|
2017-03-25 18:43:42 +00:00
|
|
|
cd repo_checkout
|
|
|
|
chmod u+w . -R
|
|
|
|
'';
|
|
|
|
|
|
|
|
postPatch = ''
|
|
|
|
patchShebangs .
|
|
|
|
substituteInPlace configure.ac --replace 'MANTICORE_ROOT=`pwd`' 'MANTICORE_ROOT=$out/repo_checkout'
|
|
|
|
'';
|
2017-03-25 14:54:24 +00:00
|
|
|
|
|
|
|
preInstall = "mkdir -p $out/bin";
|
2014-08-19 07:36:57 +01:00
|
|
|
|
|
|
|
meta = {
|
2016-06-20 11:53:46 +01:00
|
|
|
description = "A parallel, pure variant of Standard ML";
|
2014-08-19 07:36:57 +01:00
|
|
|
|
|
|
|
longDescription = ''
|
|
|
|
Manticore is a high-level parallel programming language aimed at
|
|
|
|
general-purpose applications running on multi-core
|
|
|
|
processors. Manticore supports parallelism at multiple levels:
|
|
|
|
explicit concurrency and coarse-grain parallelism via CML-style
|
|
|
|
constructs and fine-grain parallelism via various light-weight
|
|
|
|
notations, such as parallel tuple expressions and NESL/Nepal-style
|
|
|
|
parallel array comprehensions.
|
|
|
|
'';
|
|
|
|
|
|
|
|
homepage = http://manticore.cs.uchicago.edu/;
|
|
|
|
};
|
|
|
|
}
|