Frama-C needs the OCAMLPATH variable to be defined to load libraries, so
define it using the OCAMLPATH variable generated during build time.
Related issues:
- <https://issues.guix.gnu.org/54094> (fixes it).
- <https://issues.guix.gnu.org/69996> (only Frama-C fixed from this one).
* gnu/packages/maths.scm (frama-c) <arguments>: Add wrap-programs phase.
Change-Id: Icc8a0be5fed6678b71649da2e39a83caaaee9df2
Signed-off-by: jgart <jgart@dismail.de>
Also fix the commands, which would fail due to not finding their
implementation scripts.
* gnu/packages/patches/gnulib-bootstrap.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/build-tools.scm (gnulib): Update to 2024-05-30-1.ac4b301.
[source]: Apply patch.
[phases] {patch-source-shebangs, patch-generated-file-shebangs}
{patch-usr-bin-file, restore-shebangs}: Delete phases.
{disable-failing-tests}: Disable sc_error_message_warn_fatal,
sc_prefer_angle_bracket_headers, sc_check_config_h_reminder,
sc_prohibit_sc_omitted_at, sc_readme_link_copying, sc_readme_link_install,
sc_unsigned_char, sc_unsigned_int, sc_unsigned_long and sc_unsigned_short
checks.
{regenerate-unicode}: Register BidiMirroring.txt unicode data file.
Change-Id: I154b2c5980b671f1e73e7a1f74d926ea080a7aa0
* doc/contributing.texi (Running the Test Suite): Mention that make clean-go
may need to be run before running make check-system when previous builds were
run with different work trees.
Change-Id: I4b68d3a05f1425505816db969284487d725840d6
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Fixes: https://issues.guix.gnu.org/47573.
* gnu/packages/game-development.scm (godot-lts): Re-indent and ensure
max column length to 79.
[arguments]: Use gexp.
Change-Id: I0bedb66a4e7e0ebe6242df885f1e687ce3a43ce0
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
* manifest.scm: Fix alternate command line invocation (which would not
consider 'manifest.scm'). Use specifications instead of packages. Remove
perl (now in the guix package's native inputs). Add b4, git, git:send-email,
mumi, nss-certs, openssl and patman to the manifest.
Change-Id: I49d92dda059856ce217cea9054a466a1754dcf94
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
This makes it possible to run 'make distcheck' in a 'guix shell -D guix'
environment.
* gnu/packages/package-management.scm (guix)
[native-inputs]: Replace graphviz-minimal with graphviz. Add imagemagick and
perl.
Change-Id: Ie400c622d8fc77108df29c03e11f36159d6f6238
Follow up of 73b3f941d7.
* doc/contributing.texi (Applying for Commit Access): Update accordingly with
the removal of 'make authenticate'.
Change-Id: Id945c484f6265c76d4eb803369a7fbd9f797434f
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
* gnu/packages/bootloaders.scm (grub): Update to 2.12.
[source](patches): Remove ‘grub-ignore-metadata-csum-seed.patch’.
(snippet): Create ‘grub-core/extra_deps.lst’. Replace “exit 99”
by “exit 77”.
(grub-coreboot): Update value of ‘XFAIL_TESTS’.
* doc/guix.texi (Keyboard Layout and Networking and Partitioning): Update
accordingly (it should now be fine to use LUKS2).
* gnu/packages/patches/grub-ignore-metadata-csum-seed.patch: Remove.
* gnu/local.mk (dist_patch_DATA): Remove it.
Change-Id: Ia31b3b7e0a2e7de42d30229733e9c196fcd12fd9
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
There is no reason to have this diverge from the underlying cmake build
system.
* guix/build-system/qt.scm (qt-build) <#:parallel-tests?>: Default to #t.
Change-Id: I65db3d6c6727bd24549af4a44940e7362064aed6
Fixes CVEs 2024-5702, 2024-5688, 2024-5690, 2024-5691, 2024-5692,
2024-5693, 2024-5696 and 2024-5700. See the Mozilla Foundation Security
advisory <https://www.mozilla.org/en-US/security/advisories/mfsa2024-26/>
for details.
* gnu/packages/tor-browsers.scm (%torbrowser-build-date): Update to
20240510190000. Change upstream reference to where this date is defined
as the previous URL reference can be missing.
(%torbrowser-version): Update to 13.0.16.
(%torbrowser-firefox-version): Update to 115.12.0esr-13.0-1-build1.
(torbrowser-translation-base): Update to
f28525699864f4e3d764c354130bd898ce5b20aa.
(torbrowser-translation-specific): Update to
b5d79336411e5a59c4861341ef9aa7353e0bcad9.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
* gnu/packages/code.scm (astyle): Update to 3.5.
[source]: Change source archive file name to match the upstream.
[arguments]: Remove "modules". Add "patch-makefile" phase to set
the C++ compiler to version c++17 as it is required for the build.
Simplify "install-more" file.
Change-Id: I8777710d723d22320c288c331645f8d61d5e640e
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
This makes it clearer that this service uses the ISC's dhclient implementation
and does not support DHCP clients that have different command line interfaces.
* doc/guix.texi (Networking Setup): Prepend ISC to all DHCP client references.
Change-Id: I750ef2ffb4b23445c4a2b97aaa44eba56458f430
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
* gnu/services/networking.scm (dhcp-client-configuration) [config-file]: New
field.
(dhcp-client-configuration-config-file): New accessor.
(dhcp-client-shepherd-service): Use the config file when invoking
dhclient if supplied.
* doc/guix.texi: Document it.
Change-Id: I286de4ddf59c5e606bf1fe0a7510570869e62b1a
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
jgart
Jean-Pierre De Jesus DIAZ
Zheng Junjie
Wilko Meyer
Maxim Cournoyer
Richard Sent
Tomas Volf
Ashish SHUKLA
Timotej Lazar
David Pflug
Nicolas Graves
Felix Gruber
Sughosha
Remco van 't Veer
Sergey Trofimov
Andy Tai
Simon Tournier
Sergiu Ivanov
Ludovic Courtès
André Batista
Artyom V. Poptsov
Vincent Legoll