urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-28 05:22:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

Does this fix the OSX release builds?

Browse Source
This commit is contained in:
Benjamin Summers 2019-12-19 06:20:23 -08:00
parent 849410e1fe
commit 4d3fc857ff
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
stack.yaml
View File

@ -22,6 +22,9 @@ flags:
king:
Release: false
ghc-options:
king: '-optP-Wno-nonportable-include-path'
# build:
# executable-profiling: true
# executable-stripping: false