aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorMathieu Othacehe <othacehe@gnu.org>2020-10-27 13:11:15 +0100
committerMathieu Othacehe <othacehe@gnu.org>2020-10-27 13:11:15 +0100
commita01f32924423c45a0ffa50f6c1727be2a25ef75c (patch)
tree53744b1fd5c4bcb55e007d808276ab38426421ad /gnu/packages/lean.scm
parent559c134b0ece171fcd39b31e5444b955deefcc8e (diff)
downloadguix-a01f32924423c45a0ffa50f6c1727be2a25ef75c.tar.gz
guix-a01f32924423c45a0ffa50f6c1727be2a25ef75c.zip
gnu: nvi: Fix cross-compilation.
* gnu/packages/nvi.scm (nvi)[arguments]: Add "vi_cv_sprintf_count=yes" to configure flags when cross-compiling. Also add 'fix-configure phase. [native-inputs]: Add "automake" that is required by the new phase.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions