Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-12-27 01:01:44 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
1138 commits 16 branches 1 tag 5.3 MiB
Commit graph

1138 commits

This branch
This branch
All branches
Author SHA1 Message Date
Alex Griffin
40b62f7aaf Merge branch 'fix-compcert' into 'master' 
nongnu: compcert: Fix a non-exhaustive match.

See merge request nonguix/nonguix!22
 2020-04-11 22:48:05 +00:00
Timotej Lazar
1b7a4319fa nongnu: compcert: Build for arm-eabihf on arm. 
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure
script to enable hard float extensions.
 2020-04-11 20:18:39 +02:00
Timotej Lazar
1892d626dd nongnu: compcert: Fix a non-exhaustive match. 
* nongnu/packages/coq.scm (compcert)[arguments]: Add default case to match so
that it can be evaluated on all systems.
[supported-systems]: Remove unsupported mips64el-linux.
 2020-04-11 14:11:11 +02:00
Alex Griffin
22450afd70 nongnu: lgogdownloader: Update to 3.7. 
* nongnu/packages/gog.scm (lgogdownloader): Update to 3.7.
 2020-04-10 14:58:01 -05:00
Alex Griffin
c42505e894 nongnu: linux: Update to 5.4.31. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.31.
 2020-04-08 08:22:14 -05:00
Alex Griffin
a66e21377d Merge branch 'compcert' into 'master' 
nongnu: Add compcert.

See merge request nonguix/nonguix!21
 2020-04-07 16:42:17 +00:00
Alex Griffin
2a939c8d8b Revert "nongnu: Add linux 5.6.2." 
This reverts commit 8d2c3b5bb3.
 2020-04-05 14:38:36 -05:00
Julien Lepiller
048de09ad8 nongnu: Add compcert. 
* nongnu/packages/coq.scm: New file.
 2020-04-04 18:54:06 +02:00
Alex Griffin
8d2c3b5bb3 nongnu: Add linux 5.6.2. 
* nongnu/packages/linux.scm (linux-5.6): New variable.
 2020-04-04 11:51:23 -05:00
Alex Griffin
3e0061f87e nongnu: linux@4.9: Update to 4.9.218. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.218.
 2020-04-02 12:44:52 -05:00
Alex Griffin
abf84ae836 nongnu: linux@4.4: Update to 4.4.218. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.218.
 2020-04-02 12:44:44 -05:00
Alex Griffin
2d20e11b3e nongnu: linux: Update to 5.4.30. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.30.
 2020-04-02 09:53:09 -05:00
Alex Griffin
8235a635b5 nongnu: linux@4.19: Update to 4.19.114. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.114.
 2020-04-02 09:53:09 -05:00
Alex Griffin
cdaaeb6277 nongnu: linux@4.14: Update to 4.14.175. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.175.
 2020-04-02 09:53:09 -05:00
Pierre Neidhardt
28c7b2a259 gnu: Add radeon-firmware. 
* nongnu/packages/linux.scm (radeon-firmware): New variable.
 2020-04-01 16:31:47 +02:00
Alex Griffin
c523c62ec1 nongnu: linux: s/GuixSD/Guix System/. 
* nongnu/packages/linux.scm (corrupt-linux): Replace GuixSD in
description with Guix System.
 2020-04-01 07:50:19 -05:00
Alex Griffin
379e5b74ba nongnu: linux: Update to 5.4.29. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.29.
 2020-04-01 07:39:03 -05:00
Jacob First
3429bf94b8 README.org: advice for avoiding kernel rebuilds. 
Closes #27.
 2020-03-25 20:42:28 +00:00
Alex Griffin
dbbdf87e8a nongnu: linux: Update to 5.4.28. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.28.
 2020-03-25 08:44:10 -05:00
Alex Griffin
a23390454a nongnu: linux@4.19: Update to 4.19.113. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.113.
 2020-03-25 08:43:55 -05:00
Alex Griffin
ed867eb386 README.org: Don't recommend load-broadcom-sta-service. 
Closes #26.

* README.org: Replace `load-broadcom-sta-service` example with new
`kernel-loadable-modules` field.
* nongnu/services/kernel-modules.scm (load-broadcom-sta-service): Update
docstring to recommend switching to `kernel-loadable-modules`.
 2020-03-22 15:16:02 -05:00
Jelle Licht
b20c206810
nongnu: Add ibt-hw-firmware. 
* nongnu/packages/linux.scm (ibt-hw-firmware): New variable.
 2020-03-22 14:08:35 +01:00
Alex Griffin
70d4671223 nongnu: linux: Update to 5.4.27. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.27.
 2020-03-21 03:06:36 -05:00
Alex Griffin
ec28baaebb nongnu: linux@4.19: Update to 4.19.112. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.112.
 2020-03-20 11:54:10 -05:00
Alex Griffin
4ec086e6d4 nongnu: linux@4.14: Update to 4.14.174. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.174.
 2020-03-20 11:54:00 -05:00
Alex Griffin
7525eab924 nongnu: linux@4.9: Update to 4.9.217. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.217.
 2020-03-20 11:53:52 -05:00
Alex Griffin
47e8373023 nongnu: linux@4.4: Update to 4.4.217. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.217.
 2020-03-20 11:53:38 -05:00
Alex Griffin
c5f87bd75b nongnu: leiningen: Update to 2.9.3. 
* nongnu/packages/clojure.scm (leiningen, leiningen-jar): Update to 2.9.3.
 2020-03-18 17:30:14 -05:00
Alex Griffin
d3e4160d95 nongnu: linux: Update to 5.4.26. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.26.
 2020-03-18 09:00:05 -05:00
Alex Griffin
fdce6229cd nongnu: linux@4.19: Update to 4.19.111. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.111.
 2020-03-18 08:59:54 -05:00
Alex Griffin
dfc0e0e28e nongnu: linux-firmware: Update to 20200316. 
* nongnu/packages/linux.scm (linux-firmware): Update to 20200316.
 2020-03-16 13:46:13 -05:00
Alex Griffin
55e5a2ac2f nongnu: linux@4.19: Update to 4.19.110. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.110.
 2020-03-16 12:57:48 -05:00
Julien Lepiller
c9d1ea0ad3 nonguix: Use name when provided in unredistributable-url-fetch. 
* nonguix/download.scm (unredistributable-url-fetch): Use name when
provided.
 2020-03-13 00:30:35 +01:00
Alex Griffin
b1975f55e9 nongnu: linux: Update to 5.4.25. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.25.
 2020-03-12 07:24:44 -05:00
Alex Griffin
f81d5704af nongnu: linux@4.19: Update to 4.19.109. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.109.
 2020-03-11 12:37:44 -05:00
Alex Griffin
42724186e6 nongnu: linux@4.14: Update to 4.14.173. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.173.
 2020-03-11 12:37:35 -05:00
Alex Griffin
2c3edd208a nongnu: linux@4.9: Update to 4.9.216. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.216.
 2020-03-11 08:09:29 -05:00
Alex Griffin
d13ff398a7 nongnu: linux@4.4: Update to 4.4.216. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.216.
 2020-03-11 08:09:18 -05:00
Alex Griffin
bd142ecf42 nongnu: linux: Update to 5.4.24. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.24.
 2020-03-05 10:01:39 -06:00
Alex Griffin
2ab636a52d nongnu: linux@4.19: Update to 4.19.108. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.108.
 2020-03-05 10:01:27 -06:00
Timotej Lazar
62bf07f957 gnu: intel-microcode: Use copy-build-system. 
* nongnu/packages/linux.scm (intel-microcode): Use copy-build-system.
 2020-03-02 16:08:59 +01:00
Pierre Neidhardt
738b9bdfdc gnu: nvidia-cg-toolkit: Use new install-plan format. 
* nongnu/packages/game-development.scm (nvidia-cg-toolkit)[arguments]: Do it.
 2020-02-29 10:42:35 +01:00
Pierre Neidhardt
39fecacaef nonguix: Use the install-plan of the copy-build-system in the binary-build-system. 
* nonguix/build-system/binary.scm (lower): Adapt the default value of the
  install plan.
* nonguix/build/binary-build-system.scm (new-install): New procedure.
(old-install): Rename former `install' procedure to this.
(install): New procedure that dispatches over old-install and new-install.
 2020-02-29 10:42:35 +01:00
Alex Griffin
1fde948ade nongnu: linux: Update to 5.4.23. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.23.
 2020-02-28 10:32:12 -06:00
Alex Griffin
b8054367d8 nongnu: linux@4.19: Update to 4.19.107. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.107.
 2020-02-28 10:03:49 -06:00
Alex Griffin
b4b5ea4f81 nongnu: linux@4.14: Update to 4.14.172. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.172.
 2020-02-28 10:03:36 -06:00
Alex Griffin
c1d0b328c6 nongnu: linux@4.9: Update to 4.9.215. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.215.
 2020-02-28 09:18:35 -06:00
Alex Griffin
cf154f2148 nongnu: linux@4.4: Update to 4.4.215. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.215.
 2020-02-28 09:18:23 -06:00
Alex Griffin
f90808eb21 nongnu: linux: Update to 5.4.22. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.22.
 2020-02-24 08:56:29 -06:00
Alex Griffin
feb8568f45 nongnu: linux@4.19: Update to 4.19.106. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.106.
 2020-02-24 08:56:18 -06:00