Commit Graph

18 Commits

Author SHA1 Message Date
R. Ryantm
63c3893633 boxed-cpp: 1.2.0 -> 1.2.2 2024-02-01 14:57:59 +01:00
Weijia Wang
3eb010af35
Merge pull request #283169 from wegank/bobcat-refactor
bobcat: refactor, migrate to by-name
2024-01-29 09:18:19 +01:00
Weijia Wang
16d828d0aa
Merge pull request #283140 from r-ryantm/auto-update/boogie
boogie: 3.0.9 -> 3.0.10
2024-01-24 00:11:23 +01:00
Gustavo Coutinho de Souza
aa385c97e5
bonsai: refactor derivation
1. Remove `rec` keyword in favor of passing a function to
   `stdenv.mkDerivation`;
2. Reorder attributes;
3. Put build only dependencies --- Hare's third party libraries --- into
   `nativeBuildInputs`;
4. Remove `preConfigure` hook in favor of setting the `HARECACHE` make
   variable;
5. Use `stdenv.hostPlatform.uname.processor` for setting the
   architecture needed for cross-compilation;
6. Substitute in place the `HAREFLAGS` make variable instead of the `-a`
   flag directly, which is now set on the make variable (this should be
   submitted upstream, since the make variable, as of now, does
   absolutely nothing);
8. Pass the `-q` flag to `HAREFLAGS` to avoid polluting the logs when
   hare is either being called with `test` or `build`;
9. Remove deprecated `agpl3` license in favor of `agpl3Plus`;
10. Add `bonsaictl` as `meta.mainProgram`; and
11. Enable parallel building.
2024-01-23 08:00:00 -03:00
Weijia Wang
e059e54dd7 bobcat: refactor, migrate to by-name 2024-01-23 10:47:36 +01:00
R. Ryantm
0d73a93c93 boogie: 3.0.9 -> 3.0.10 2024-01-23 08:02:39 +00:00
Gustavo Coutinho de Souza
2b5ceb285a
bonsai: move to pkgs/by-name 2024-01-22 21:45:30 -03:00
R. Ryantm
08358891f5 boxed-cpp: 1.1.0 -> 1.2.0 2024-01-22 18:07:18 +00:00
Peder Bergebakken Sundt
f27977ae29
Merge pull request #275529 from moni-dz/contour
contour: 0.3.12.262 -> 0.4.0.6245
2024-01-13 23:46:45 +01:00
fortuneteller2k
368dd7d0b2 boxed-cpp: init at 1.1.0 2023-12-20 07:02:28 +08:00
R. Ryantm
0d6c4e0b31 boogie: 3.0.6 -> 3.0.9 2023-12-13 08:18:51 +00:00
R. Ryantm
bef55841a2 boogie: 3.0.5 -> 3.0.6 2023-11-22 08:51:32 -08:00
Weijia Wang
77ab23be35
Merge pull request #256799 from argrat/borealis-cursors
borealis-cursors: init at 2.0
2023-11-04 20:05:54 +01:00
Nicolò Bertazzo
0c657bb168 borealis-cursors: init at 2.0
borealis-cursors: move to name-based package directories

borealis-cursors: change sha256 to hash

Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>

borealis-cursors: update description

Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
2023-11-04 18:24:31 +01:00
R. Ryantm
a4336d795c boogie: 3.0.4 -> 3.0.5 2023-10-11 12:37:10 +00:00
mdarocha
7006d97373 boogie: 2.15.7 -> 3.0.4
Also add install check to verify all dependencies (ie. z3) work
2023-09-16 16:00:34 +02:00
mdarocha
b0d00352bb boogie: move out of dotnet-packages.nix
dotnet-packages.nix is deprecated and being removed
2023-09-16 16:00:29 +02:00
Anderson Torres
7d3ee72533 bochs: move to by-name hierarchy 2023-09-10 12:43:51 +00:00