sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore: Nix: stage0debug

Browse Source
This commit is contained in:
Sebastian Ullrich
2021-01-20 11:10:38 +01:00
parent 1e623a961f
commit c74dd7c683
2 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
flake.nix
View File

@@ -33,6 +33,7 @@
in {
packages = lean-packages // rec {
debug = lean-packages.override { debug = true; };
stage0debug = lean-packages.override { stage0debug = true; };
sanitized = lean-packages.override { extraCMakeFlags = [ "-DLEAN_EXTRA_CXX_FLAGS=-fsanitize=address,undefined" "-DLEANC_EXTRA_FLAGS=-fsanitize=address,undefined" "-DSMALL_ALLOCATOR=OFF" ]; };
sandebug = sanitized.override { debug = true; };
tsan = lean-packages.override {

6
nix/bootstrap.nix
View File

@@ -1,4 +1,4 @@
{ debug ? false, extraCMakeFlags ? [],
{ debug ? false, stage0debug ? false, extraCMakeFlags ? [],
stdenv, lib, cmake, gmp, gnumake, buildLeanPackage, writeShellScriptBin, runCommand, symlinkJoin, lndir,
... } @ args:
rec {
@@ -8,7 +8,6 @@ rec {
buildInputs = [ gmp ];
# https://github.com/NixOS/nixpkgs/issues/60919
hardeningDisable = [ "all" ];
cmakeFlags = [ "-DSTAGE=1" "-DPREV_STAGE=./faux-prev-stage" "-DUSE_GITHASH=OFF" ] ++ extraCMakeFlags ++ lib.optional (args.debug or debug) [ "-DCMAKE_BUILD_TYPE=Debug" ];
dontStrip = (args.debug or debug);
postConfigure = ''
@@ -16,6 +15,7 @@ rec {
'';
} // args // {
src = args.realSrc or (lib.sourceByRegex args.src [ "[a-z].*" "CMakeLists\.txt" ]);
cmakeFlags = (args.cmakeFlags or [ "-DSTAGE=1" "-DPREV_STAGE=./faux-prev-stage" "-DUSE_GITHASH=OFF" ]) ++ extraCMakeFlags ++ lib.optional (args.debug or debug) [ "-DCMAKE_BUILD_TYPE=Debug" ];
});
lean-bin-tools-unwrapped = buildCMake {
name = "lean-bin-tools";
@@ -54,7 +54,7 @@ rec {
stage0 = wrapStage (args.stage0 or (buildCMake {
name = "lean-stage0";
src = ../stage0/src;
debug = false;
debug = stage0debug;
cmakeFlags = [ "-DSTAGE=0" ];
preConfigure = ''
ln -s ${../stage0/stdlib} ../stdlib