diff options
| author | Christopher Baines <mail@cbaines.net> | 2017-12-31 13:59:12 +0000 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2017-12-31 14:11:46 +0000 |
| commit | 809b884260b42c56c87c6c2263c5d9209aca86ce (patch) | |
| tree | 57952fa28594bd3684604bd4ba46781191d7d2dc /gnu/packages/popt.scm | |
| parent | 091191c3dcbfb9f01070d26bf15cb2c4dd07b1b5 (diff) | |
| download | patches-809b884260b42c56c87c6c2263c5d9209aca86ce.tar patches-809b884260b42c56c87c6c2263c5d9209aca86ce.tar.gz | |
gnu: packages: 0ad: Tweak the build options.
Use the -C make option, rather than changing directory before the build
phase. Add config=release to the make flags as this might improve performance,
and verbose=1 as this might make the build process clearer.
Also remove --minimal-flags, as I don't quite understand what this does, but
using it seems to remove lots of flags that would be used by default.
* gnu/packages/games.scm (0ad)[arguments]: Add #:make-flags, remove the
--minimal-flags argument from the configure phase, remove the 'chdir phase,
and change the chdir argument in the install phase.
Diffstat (limited to 'gnu/packages/popt.scm')
0 files changed, 0 insertions, 0 deletions