| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
|
|
|
|
|
| |
* gnu/packages/minetest.scm: Add the ‘GNU Guix’ header comment.
* gnu/packages/notcurses.scm: Likewise.
* gnu/packages/presentation.scm: Likewise.
* gnu/packages/solidity.scm: Likewise.
* guix/build/minetest-build-system.scm: Likewise.
* gnu/packages/vnc.scm: Add missing ‘;’.
* guix/scripts/import/crate.scm: Remove leading newline.
Change-Id: I5294e6067b9348f2929d823a07d4ec335eaa5ecd
|
|
|
|
|
|
|
|
| |
* gnu/packages/solidity.scm (solidity): Update to 0.8.25.
[arguments]: Add configure-flag to allow an older version of z3.
[inputs]: Replace fmt-8.0 with fmt.
Change-Id: I1501d16323566c066c58c1c4bbf90dd17a23f021
|
|
|
|
|
|
|
| |
* gnu/packages/solidity.scm (solidity)[arguments]: Add a phase to allow
newer versions of jsoncpp.
Change-Id: I4f7b5b3685f8d784da221ccb0eea1ba297e3e0b8
|
|
|
|
|
|
|
|
|
| |
* gnu/packages/pretty-print.scm (fmt-for-solidity): Rename to...
(fmt-8.0): ... this.
(fmt-for-irods): Rename to...
(fmt-6): ... this.
* gnu/packages/solidity.scm (solidity): Adjust accordingly.
* gnu/packages/irods.scm (irods, irods-client-icommands): Likewise.
|
|
|
|
|
|
|
|
|
|
|
|
| |
* gnu/packages/solidity.scm (solidity): Update to 0.8.15.
[source]: Use Github release.
[arguments]<#:phases>: Remove phase 'create-commit_hash.txt'.
Restore phase 'configure' and phase 'install'.
Remove modifications applied to the phase 'build' and phase 'check'.
Add phase 'unbundle-3rd-party-dependencies'.
[inputs]: Add fmt-for-solidity, range-v3.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
| |
* gnu/packages/solidity.scm (solidity)[arguments]: Use G-expressions.
[native-inputs]: Use label-less style inputs.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
| |
* gnu/packages/solidity.scm (solidity)[native-inputs]: Remove labels.
|
|
|
|
|
|
|
|
| |
This commit was obtained by running:
./pre-inst-env guix style
without any additional argument.
|
|
* gnu/packages/solidity.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add solidity.scm.
Signed-off-by: Christopher Baines <mail@cbaines.net>
|