public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fstar: 0.9.2.0 -> 0.9.4.0

Browse Source
This commit is contained in:
Gabriel Ebner 2017-05-10 10:33:16 +02:00
parent e33848568d
commit 8da31b0e2e
1 changed files with 16 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
pkgs/development/compilers/fstar/default.nix
View File

@ -1,26 +1,37 @@
{ stdenv, fetchFromGitHub, mono, fsharp, dotnetPackages, z3, ocamlPackages, openssl, makeWrapper }: { stdenv, fetchFromGitHub, mono, fsharp, dotnetPackages, z3, ocamlPackages, openssl, makeWrapper, pkgconfig, file }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "fstar-${version}"; name = "fstar-${version}";
version = "0.9.2.0"; version = "0.9.4.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "FStarLang"; owner = "FStarLang";
repo = "FStar"; repo = "FStar";
rev = "v${version}"; rev = "v${version}";
sha256 = "0vrxmxfaslngvbvkzpm1gfl1s34hdsprv8msasxf9sjqc3hlir3l"; sha256 = "130779p5plsgvz0dkcqycns3vwrvyfl138nq2xdhd3rkdsbyyvb7";
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];
buildInputs = with ocamlPackages; [ buildInputs = with ocamlPackages; [
mono fsharp z3 dotnetPackages.FsLexYacc ocaml findlib ocaml_batteries openssl mono fsharp z3 dotnetPackages.FsLexYacc ocaml findlib ocaml_batteries
zarith camlp4 yojson pprint openssl pkgconfig file
]; ];
preBuild = '' preBuild = ''
substituteInPlace src/Makefile --replace "\$(RUNTIME) VS/.nuget/NuGet.exe" "true" substituteInPlace src/Makefile --replace "\$(RUNTIME) VS/.nuget/NuGet.exe" "true"
substituteInPlace src/VS/.nuget/NuGet.targets --replace "mono" "true"
source setenv.sh # Fails with bad interpreter otherwise
patchShebangs src/tools
patchShebangs bin
export FSharpTargetsPath="$(dirname $(pkg-config FSharp.Core --variable=Libraries))/Microsoft.FSharp.Targets"
# remove hardcoded windows paths
sed -i '/<FSharpTargetsPath/d' src/*/*.fsproj
mkdir -p src/VS/packages/FsLexYacc.6.1.0
ln -s ${dotnetPackages.FsLexYacc}/lib/dotnet/FsLexYacc src/VS/packages/FsLexYacc.6.1.0/build
''; '';
makeFlags = [ makeFlags = [