alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Merge pull request #48812 from mpickering/cedille

Browse source 
cedille bug fixes
This commit is contained in:
Joachim F 2018-10-24 15:29:47 +00:00 committed by GitHub
parent 4769c7cd76 08e5ef20d8
commit b6a5cd8970
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
pkgs/applications/science/logic/cedille/default.nix
View file

@ -1,5 +1,13 @@
{ stdenv, lib, fetchFromGitHub, alex, happy, Agda, agdaIowaStdlib,
buildPlatform, buildPackages, ghcWithPackages }:
buildPlatform, buildPackages, ghcWithPackages, fetchpatch }:
let
options-patch =
fetchpatch {
url = https://github.com/cedille/cedille/commit/ee62b0fabde6c4f7299a3778868519255cc4a64f.patch;
name = "options.patch";
sha256 = "19xzn9sqpfnfqikqy1x9lb9mb6722kbgvrapl6cf8ckcw8cfj8cz";
};
in
stdenv.mkDerivation rec {
version = "1.0.0";
name = "cedille-${version}";
@ -11,6 +19,8 @@ stdenv.mkDerivation rec {
};
buildInputs = [ alex happy Agda (ghcWithPackages (ps: [ps.ieee])) ];
patches = [options-patch];
LANG = "en_US.UTF-8";
LOCALE_ARCHIVE =
lib.optionalString (buildPlatform.libc == "glibc")
@ -22,9 +32,12 @@ stdenv.mkDerivation rec {
chmod -R 755 ial
'';
outputs = ["out" "lib"];
installPhase = ''
mkdir -p $out/bin
mv cedille $out/bin/cedille
mv lib $lib
'';
meta = {