pestctrl/nixos-config
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Echo the configure command

Browse source
This commit is contained in:
Benson Chu 2024-07-17 08:35:09 -05:00
parent d74c0c8292
commit b3644f6f70
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
flake.nix
View file

@ -83,14 +83,15 @@
packages = with pkgs; [ mps-debug ];
# inputsFrom = with pkgs; [ emacs ];
# LDFLAGS="-L$MPS_LIB" CFLAGS="-O0 -g3 -isystem $MPS_INC" \
# ./configure --with-mps=debug --with-native-compilation=no --enable-checking='yes,glyphs'
shellHook = ''
export MPS_LIB="${pkgs.mps-debug}/lib"
export MPS_INC="${pkgs.mps-debug}/include"
echo "MPS debug environment!"
echo "MPS_LIB = $MPS_LIB"
echo "MPS_INC = $MPS_INC"
echo "Configure Command: "
echo -n ' LDFLAGS="-L$MPS_LIB" CFLAGS="-O0 -g3 -isystem $MPS_INC" '
echo './configure --with-mps=debug --with-native-compilation=no --enable-checking="yes,glyphs"'
'';
};
};