Andrea Bedini
|
521e3975a1
|
Drop static build on aarch64-linux
There's no hope.
|
2023-05-03 14:55:58 +08:00 |
|
Andrea Bedini
|
a6c9aa819a
|
Rework again
|
2023-05-03 12:32:07 +08:00 |
|
Andrea Bedini
|
dd93a9e757
|
Rework things
|
2023-04-27 18:00:59 +08:00 |
|
Andrea Bedini
|
1d0bdae9c1
|
Revert "Restrict flake to x86_64-linux"
This reverts commit ae45f208a2 .
|
2023-04-20 13:40:01 +08:00 |
|
Andrea Bedini
|
586b692c5c
|
Update hackage-nix independently from haskell-nix
|
2023-03-22 13:23:34 +08:00 |
|
Andrea Bedini
|
ae45f208a2
|
Restrict flake to x86_64-linux
|
2023-03-03 16:55:03 +08:00 |
|
Andrea Bedini
|
1e38db2bfb
|
Merge branch 'update_flake_lock_action' into add-consistency-check
|
2023-03-03 16:43:03 +08:00 |
|
Andrea Bedini
|
3b0acac2c3
|
Drop the shell tools because nothing works
|
2023-03-03 16:40:42 +08:00 |
|
Andrea Bedini
|
2c7342d3d0
|
Fixes
|
2023-03-03 15:13:13 +08:00 |
|
Andrea Bedini
|
164217b7fb
|
Dance around compiler versions
|
2023-03-03 14:14:52 +08:00 |
|
Andrea Bedini
|
57796e38b0
|
Prefer cabalProject' to cabalProject
cabalProject is too strict and accidentally evaulates IFD meant for
other systems.
|
2023-01-20 11:56:17 +08:00 |
|
Andrea Bedini
|
a0c7067fb4
|
back to 8.10.7 for the flake
|
2023-01-09 14:11:17 +08:00 |
|
Andrea Bedini
|
1c861b3b6c
|
Update flake
|
2023-01-09 11:01:02 +08:00 |
|
Andrea Bedini
|
4bb1b290a9
|
Bump compiler
|
2022-12-21 16:39:11 +08:00 |
|
Andrea Bedini
|
3e12822144
|
aarch64-linux needs something different
|
2022-12-13 10:50:11 +08:00 |
|
Andrea Bedini
|
05bd69f5c3
|
Build statically only on linux
|
2022-12-13 10:26:26 +08:00 |
|
Andrea Bedini
|
1ef0e3ad3b
|
Update flake.nix
|
2022-12-13 09:52:23 +08:00 |
|
Andrea Bedini
|
ae66e36f04
|
Update flake.nix
|
2022-12-13 09:37:01 +08:00 |
|
Andrea Bedini
|
31f81d3e45
|
Static executable
|
2022-11-30 11:50:38 +08:00 |
|
Andrea Bedini
|
d6419b2fbd
|
Remove devShell
|
2022-11-30 11:32:17 +08:00 |
|
Andrea Bedini
|
83405a1467
|
Formatting
|
2022-11-30 11:22:32 +08:00 |
|
Andrea Bedini
|
20b55ba655
|
Switch to forward mode
|
2022-09-23 16:38:30 +02:00 |
|
Andrea Bedini
|
80bcb8333c
|
Add cachix to flake.nix
|
2022-08-23 16:34:39 +02:00 |
|
Andrea Bedini
|
c1dcd3b958
|
Use IOG new cache
|
2022-08-23 14:49:35 +02:00 |
|
Andrea Bedini
|
8f3c76a262
|
Improve flake.nix
|
2022-05-16 17:54:15 +08:00 |
|
Andrea Bedini
|
a0bdb8dc9e
|
[nix] strip foliage executable
|
2022-04-21 17:51:38 +08:00 |
|
Andrea Bedini
|
ab2ef08536
|
Flake tweaks
|
2022-04-21 15:39:52 +08:00 |
|
Andrea Bedini
|
1490db2604
|
Add flake.nix 🙀
|
2022-04-11 16:48:04 +08:00 |
|