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
* 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>
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
* 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>
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>
* 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>
(match value (%unset-value ...)) is equivalent here to
(match value (_ ...)). Even if you set 'log-file to some path, it's always
"syslog" in the configuration file.
* gnu/services/audio.scm (mpd): Fix buggy 'match'.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Change-Id: If397919c2844d856c69fe00b8907b7b3fd86e564
* gnu/packages/linux.scm (bcc): Update to 0.30.0.
[native-inputs]: Add zip.
[inputs] Remove labels. Remove stale comment (our libelf package has a static
archive, but the build still fails using it). Replace the libbpf source with
its binary package. Replace clang-toolchain-9 with clang-15. Add
bash-minimal.
[arguments]: Use gexps.
<configure-flags>: Add -DCMAKE_USE_LIBBPF_PACKAGE=ON.
<phases>: Remove copy-libbpf.
Change-Id: Ife0bec7802e7faa54689c0199bc2618ce6a39428
