Andrea Bedini
dff438ee43
Merge pull request #33 from andreabedini/metadata-output
...
Implement metadata output
2023-02-21 11:12:25 +08:00
Andrea Bedini
b12a27a984
Use dir query parameter to include subdir into url
2023-02-20 13:42:28 +08:00
Andrea Bedini
1e45bfc0fa
List package name and version separately in metadata
2023-02-20 12:15:08 +08:00
Andrea Bedini
2631bf6067
Implement metadata output.
...
Implement a new flag "--write-metadata" which will create, in the output
directory, a file "foliage/packages.json" with metadata about the
package provenance.
The file package.json file looks like this
```
{
"Win32-network-0.1.0.0": {
"source": {
"url": "github:input-output-hk/Win32-network/3825d3abf75f83f406c1f7161883c438dac7277d"
},
"timestamp": "2022-10-17T00:00:00Z"
},
"Win32-network-0.1.1.0": {
...
```
The idea is that tools fetching the repo can also fetch this file to
obtain information about the package provenance.
2023-02-14 10:29:16 +08:00
Andrea Bedini
25b2afaa7a
Drop nix flake check
...
It evaluates check jobs for all systems, which require to be run on that
system given haskell.nix use of IFD.
2023-02-14 10:28:04 +08:00
Andrea Bedini
9995734db5
Write json metedata to output dir
2023-02-13 16:54:39 +08:00
Andrea Bedini
f76eb91845
Update workflows
2023-02-10 11:21:28 +08:00
Andrea Bedini
9288fdf587
Update nix workflow
2023-02-10 11:20:05 +08:00
Andrea Bedini
b374dfde9f
Add update-flake-lock.yml
2023-02-10 11:16:04 +08:00
Andrea Bedini
0993761f7f
Clean up
2023-01-29 12:27:04 +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
fd7829e72f
Update flake.lock
2023-01-09 15:47:08 +08:00
Andrea Bedini
a0c7067fb4
back to 8.10.7 for the flake
2023-01-09 14:11:17 +08:00
Andrea Bedini
9ba14bdb78
Bump some actions
2023-01-09 11:17:06 +08:00
Andrea Bedini
e3f5c7b45e
Document how to access private repositories
...
Closes #31
2023-01-09 11:01:05 +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
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