godot_4: enable debug flag
This commit is contained in:
parent
2af4510ed2
commit
e53463627c
|
@ -22,6 +22,7 @@
|
|||
, speechd
|
||||
, fontconfig
|
||||
, udev
|
||||
, withDebug ? false
|
||||
, withPlatform ? "linuxbsd"
|
||||
, withTarget ? "editor"
|
||||
, withPrecision ? "single"
|
||||
|
@ -115,6 +116,7 @@ stdenv.mkDerivation rec {
|
|||
platform = withPlatform;
|
||||
target = withTarget;
|
||||
precision = withPrecision; # Floating-point precision level
|
||||
debug_symbols = withDebug;
|
||||
|
||||
# Options from 'platform/linuxbsd/detect.py'
|
||||
pulseaudio = withPulseaudio; # Use PulseAudio
|
||||
|
@ -125,6 +127,8 @@ stdenv.mkDerivation rec {
|
|||
touch = withTouch; # Enable touch events
|
||||
};
|
||||
|
||||
dontStrip = withDebug;
|
||||
|
||||
outputs = [ "out" "man" ];
|
||||
|
||||
installPhase = ''
|
||||
|
|
Loading…
Reference in New Issue