summaryrefslogtreecommitdiff
path: root/gnu/packages/solidity.scm
Commit message (Expand)AuthorAgeFilesLines
* Add some missing header comment header comments.•••* 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 Tobias Geerinckx-Rice2024-09-081-0/+1
* gnu: solidity: Update to 0.8.25.•••* 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 Efraim Flashner2024-05-061-3/+6
* gnu: solidity: Allow a newer version of jsoncpp.•••* gnu/packages/solidity.scm (solidity)[arguments]: Add a phase to allow newer versions of jsoncpp. Change-Id: I4f7b5b3685f8d784da221ccb0eea1ba297e3e0b8 Efraim Flashner2024-05-061-1/+5
* gnu: fmt-for-solidity: Rename to fmt-8.0.•••* 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. Maxim Cournoyer2022-11-061-1/+1
* gnu: solidity: Update to 0.8.15.•••* 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> Zhu Zihao2022-07-041-57/+37
* gnu: solidity: Use G-expressions.•••* 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> Zhu Zihao2022-07-041-31/+31
* gnu: solidity: Remove input labels.•••* gnu/packages/solidity.scm (solidity)[native-inputs]: Remove labels. Ludovic Courtès2022-07-031-3/+3
* gnu: Simplify package inputs.•••This commit was obtained by running: ./pre-inst-env guix style without any additional argument. Ludovic Courtès2021-12-131-3/+1
* gnu: Add solidity.•••* gnu/packages/solidity.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add solidity.scm. Signed-off-by: Christopher Baines <mail@cbaines.net> Martin Becze2020-11-181-0/+92