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
587b8bef8c
Merge pull request #29 from andreabedini/mpj/parallel
...
Build in parallel
2022-12-19 09:06:42 +08:00
Michael Peyton Jones
33a645bc3b
Build in parallel
...
This cuts the time to build `cardano-haskell-packages` down to 30s from
>2mins.
2022-12-16 15:15:42 +00:00
Andrea Bedini
e7c9480994
Merge pull request #27 from andreabedini/andreabedini-patch-1
...
Add a hydra job and zw3rk cache
2022-12-13 17:20:16 +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
04cb2aca07
Bump flake inputs
2022-11-04 13:41:55 +08:00
Andrea Bedini
72f2efc615
Improve web pages
2022-10-27 12:19:37 +08:00
Andrea Bedini
37022542cc
Rename summary to contents
2022-10-26 17:18:36 +08:00
Andrea Bedini
4dcd18ac38
Merge pull request #15 from andreabedini/pages
...
Pages
2022-10-26 15:39:35 +08:00
Andrea Bedini
c0714b1b3d
Finish off pages
...
- Summary page has the list of all packages available (with details of the latest version)
- Timeline page has the list of all entries as they appear in the index
Also:
- Rebuild sdists is they are missing
2022-10-26 14:12:40 +08:00
Andrea Bedini
db3fe215de
Restore index/ paths creation
2022-10-24 16:55:58 +08:00
Andrea Bedini
aa443eec1e
Minor adjustments
2022-10-24 16:16:07 +08:00
Andrea Bedini
d65f05b45b
Put extra-source-files in the right spot
2022-10-24 15:38:46 +08:00
Andrea Bedini
e57d6ba5a6
Index page
2022-10-21 16:46:50 +08:00
Andrea Bedini
f697629717
WIP fix botched rebase
2022-10-21 12:30:55 +08:00
Andrea Bedini
9f22d7295d
First go at generating html pages
2022-10-21 11:37:20 +08:00
Andrea Bedini
572e37cb8e
WIP
2022-10-21 11:36:47 +08:00
Andrea Bedini
35096a5737
Add foliage specific paths to gitignore
2022-10-19 10:23:39 +08:00
Andrea Bedini
9cc19c70ea
Move json stuff to its own module
2022-10-14 09:28:31 +08:00
Andrea Bedini
678943d4b6
WIP
2022-10-14 07:56:59 +08:00
Andrea Bedini
1b3969a4f5
Drop PackageRule
2022-10-10 11:27:29 +08:00
Andrea Bedini
889e0b0ba0
Rework prepareSdist
2022-10-05 16:34:22 +08:00
Andrea Bedini
b13ecafb31
Merge remote-tracking branch 'new'
2022-10-05 15:13:15 +08:00
Andrea Bedini
166b340d13
Update README
2022-09-29 16:02:20 +02:00
Andrea Bedini
30124364b3
Update README
2022-09-29 16:01:21 +02:00
Andrea Bedini
9151ec36b2
Implement GitHub backend
2022-09-29 15:49:42 +02:00
Andrea Bedini
cbb726a6f5
Avoid partial functions
2022-09-29 15:49:07 +02:00
Andrea Bedini
e7399e5402
Remember sdist hash
2022-09-23 19:37:30 +02:00
Andrea Bedini
0f22847c90
More custom rules
2022-09-23 19:36:39 +02:00
Andrea Bedini
20b55ba655
Switch to forward mode
2022-09-23 16:38:30 +02:00
Andrea Bedini
301cb1781d
Refactor readKeysAt'
2022-09-23 12:05:22 +02:00
Andrea Bedini
32d1345276
Removing cabal.project is now unnecessary
2022-09-22 13:32:23 +02:00
Andrea Bedini
5c24681da8
Make sdist with cabal-install internals
2022-09-22 12:12:16 +02:00
Andrea Bedini
c0811e6037
Remove leftover
2022-09-22 11:32:55 +02:00
Andrea Bedini
f41412a65a
Factor out current package description
2022-09-22 11:27:27 +02:00
Andrea Bedini
2da1cffdb7
Introduce some path helpers
2022-09-22 11:22:17 +02:00
Andrea Bedini
c166412ff9
Fix issues with outputdir
2022-09-19 16:28:14 +02:00
Andrea Bedini
03a8fe471d
Add option to not sign the index
2022-09-19 15:33:50 +02:00
Andrea Bedini
c0f316f462
Update README.md
2022-09-16 08:44:04 +02:00
Andrea Bedini
ad5baf1feb
Update README.md
2022-09-16 08:42:51 +02:00
Andrea Bedini
1a91935397
Too new
2022-08-31 13:32:11 +02:00
Andrea Bedini
f22d7b7828
Update flake.lock
2022-08-31 13:19:34 +02:00
Andrea Bedini
203e9a0fb3
Fix rewritePackageVersion
2022-08-31 13:17:05 +02:00