Yvan Sraka
0ee204322d
Check while caling ghcr-upload.sh that closure contains devx shell rc derivation ( #90 )
...
The motivation is to detect the faulty closures by failing in CI, rather than silently uploading them to ghcr.io
2023-08-04 11:32:07 +00:00
Yvan Sraka
bc55fdb1fc
Fix Codespace image generation (always empty Dockerfile ARG...) ( #87 )
...
... This is apparently the default behavior chosen
by Docker when ARG are defined before FROM ... and
indeed Docker don't bother you with any warning :)
2023-08-02 21:23:06 +00:00
Yvan Sraka
bfbe406e5b
Few README.md tweaks (add instructions to set up GitHub Codespace prebuilds) ( #81 )
2023-07-10 10:15:49 +00:00
Yvan Sraka
7aa98cca49
Use nix show-config | grep trusted-users to check if $USER is trusted ( #80 )
2023-07-05 08:59:39 +00:00
Yvan Sraka
ef3b69e021
Update README.md with GitHub Codespace / VSCode DevContainer instructions ( #77 )
...
* Update README.md with GitHub Codespace / VSCode DevContainer instructions
* Update README.md
2023-07-05 08:42:30 +00:00
Yvan Sraka
833d31c0ac
Add a note to GitHub CodeSpace to explain what images it generates ( #79 )
...
* Add a note to GitHub CodeSpace to explain what images it generates
* Update .github/workflows/codespace.yml
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
---------
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
2023-07-05 08:41:47 +00:00
Yvan Sraka
55dfa646fe
Add packages: write permission to GA that build Codespace docker images ( #78 )
2023-07-05 08:14:27 +00:00
Yvan Sraka
6fb97c3d05
Add a GA that build GitHub CodeSpaces containers ( #76 )
...
* Add a GA that build GitHub CodeSpaces containers
* Update codespace.yml
* Update codespace.yml
* Update codespace.yml
* Update codespace.yml
* Update codespace.yml
* Update codespace.yml
2023-07-04 09:40:37 +00:00
Moritz Angermann
04a5a7e95b
Update dynamic.nix ( #75 )
2023-07-03 13:35:56 +00:00
Erik de Castro Lopo
09b8f1257f
README.md: Very minor tweaks ( #74 )
...
* README.md: Very minor tweaks
* Update README.md
* Update README.md
---------
Co-authored-by: Yvan Sraka <yvan@sraka.xyz>
2023-07-03 13:30:51 +00:00
Yvan Sraka
ff07291248
Write up doc on using devx devshell with direnv ( #63 )
2023-06-29 12:07:24 +00:00
Hamish Mackenzie
f2ea69c182
Revert "Avoid building in GHA" ( #73 )
...
This reverts commit 43d7fb43e5
2023-06-09 05:45:22 +00:00
Hamish Mackenzie
63cfb6355d
Avoid building in GHA ( #71 )
...
* Avoid building in GHA
GHA should be able to download the required files from the nix cache populated by hydra. If it cannot DL what it needs, it is better to have it fail instead of wasting resources trying a build that will probably eventually run out of disk space anyway.
* Skip windows cross compile on darwin for now
2023-06-09 04:36:43 +00:00
Moritz Angermann
997f084d16
Add nodejs to js-cross ( #68 )
...
Fixes #67
2023-06-09 10:00:58 +08:00
Hamish Mackenzie
35f9749278
Bump haskell.nix use ghc 9.2.8 & 9.6.2 ( #69 )
2023-06-08 16:58:24 +12:00
Moritz Angermann
28b15ff6ec
Update README.md ( #65 )
...
Improve readme regarding the devshells we have.
---------
Co-authored-by: Andrea Bedini <andrea@andreabedini.com>
2023-05-25 11:22:45 +08:00
Hamish Mackenzie
e0037345b5
Bump iohk-nix and haskellNix ( #60 )
...
nix flake lock --update-input iohk-nix
nix flake lock --update-input haskellNix
2023-05-19 20:43:18 +12:00
Moritz Angermann
760642897b
Add icu to dynamic.nix and static.nix ( #61 )
...
* Add icu to dynamic.nix
* Add icu to static
2023-05-18 09:21:07 +08:00
Moritz Angermann
730f08870f
Add postgresql to -iog shells ( #54 )
...
This adds postgresql to -iog shells, as needed by input-output-hk/cardano-db-sync
2023-05-05 20:31:20 +08:00
Moritz Angermann
a1f85fc234
Fix static.nix ( #51 )
...
This used to be broken (pkg-config IOG libs could not be found).
2023-05-04 16:57:17 +08:00
Hamish Mackenzie
2e8b541359
Fix static cabal.project.local template ( #52 )
...
* Fix static cabal.project.local template
---------
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
2023-05-04 16:56:15 +08:00
Hamish Mackenzie
54ddb7f0b3
Add Windows Cross Compilers ( #45 )
...
This adds windows cross compilation support, as well as the necessary testing infrastructure to
build on one machine (with the nix shell), and then run the executable on a another.
---------
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
2023-05-03 09:53:37 +08:00
Moritz Angermann
ce84c22268
Eval the devx script on linux ( #50 )
2023-04-30 20:40:57 +08:00
Moritz Angermann
50c9b61925
Cleanup ( #49 )
2023-04-30 13:05:16 +08:00
Moritz Angermann
37d93bd485
Add fixup-nix-deps to dynamic.nix ( #48 )
...
This will only partially work.
2023-04-29 16:30:10 +08:00
Moritz Angermann
9b00123cdd
[macOS] fixup linking. ( #47 )
2023-04-28 19:07:05 +08:00
Hamish Mackenzie
63674ae536
Remove old action.yml ( #46 )
2023-04-28 07:04:57 +08:00
Hamish Mackenzie
a4b85959e3
Create GitHub Action, and clean up. ( #44 )
...
* Update hello.yml
* Delete action.yaml
* Delete fetch-docker.sh
* Delete devx
---------
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
2023-04-27 19:40:05 +08:00
Hamish Mackenzie
85be4e0361
Add libblst to iog shells ( #43 )
2023-04-27 08:53:50 +08:00
Hamish Mackenzie
4e8dc4896a
Use ghcr.io to store closure ( #39 )
...
---------
Co-authored-by: Yvan Sraka <yvan@sraka.xyz>
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
Co-authored-by: Andrea Bedini <andrea.bedini@tweag.io>
2023-04-26 14:56:35 +08:00
Hamish Mackenzie
68ca6e7a68
Use github version of haskell-language-server ( #42 )
...
* Use github version of haskell-language-server
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
---------
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
2023-04-20 18:44:38 +08:00
Hamish Mackenzie
bbb259f28d
Get crypto overlay from iohk-nix as flake input ( #41 )
2023-04-20 18:44:12 +08:00
Moritz Angermann
3587b21bc8
Cleanup ( #36 )
2023-03-28 11:04:07 +08:00
Yvan Sraka
95834a3f25
Add cross-compilation shell support for ghc-js ( #33 )
...
* Add cross-compilation shell support for `ghc-js`
---------
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
2023-03-26 18:10:01 +08:00
Moritz Angermann
2537273731
Cleanup most build failures. ( #35 )
2023-03-26 17:31:23 +08:00
Yvan Sraka
48c1251186
Update supported GHC versions list ( #32 )
...
* Update supported GHC versions list
* Drop ghc pre-release now that we have 961 in there
---------
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
2023-03-26 15:53:21 +08:00
Yvan Sraka
f42dc2a149
Fix issue #26 : [macOS] DYLD_LIBRARY_PATH env var needed for dev shell ( #29 )
...
* Fix issue #26 : [macOS] DYLD_LIBRARY_PATH env var needed for dev shell
c.f. https://github.com/input-output-hk/cardano-node/pull/4952#issuecomment-1459312169
---------
Co-authored-by: Moritz Angermann <moritz.angermann@gmail.com>
2023-03-26 11:36:10 +08:00
Moritz Angermann
61aba5fc5e
bump haskell.nix ( #34 )
2023-03-26 11:34:08 +08:00
Yvan Sraka
2d62fe123c
Update action.yml ( #28 )
2023-03-17 12:15:59 +08:00
Moritz Angermann
6e6f634547
update haskell.nix
2023-03-16 07:04:49 +00:00
John Ky
7420ccb983
Add pcre
2023-01-20 11:54:55 +08:00
Moritz Angermann
0b0eeaea8c
pull cddl and cbor-diag from buildPackages
...
they are just runtime inputs for the build.
They don't need to come from the static packages set.
This should also give some more sharing with the dynamic packages.
2022-12-09 10:40:35 +08:00
Moritz Angermann
c0d60bc66f
Update README.md
2022-12-08 17:19:59 +08:00
Moritz Angermann
9f3f24200c
Externalise tool mapping
2022-12-08 17:14:33 +08:00
Moritz Angermann
5116ab73e1
Add HLS and HLint ( #16 )
2022-12-08 10:08:10 +08:00
Andrea Bedini
59a4be3674
Fix a couple of missing pkgs. ( #15 )
2022-12-07 16:54:13 +08:00
Moritz Angermann
6bc5a3a608
aarch64 musl
2022-12-07 15:32:35 +08:00
Moritz Angermann
e0ebb2c143
add macOS docs
2022-11-27 15:29:43 +08:00
Moritz Angermann
d68cffd766
Update flake.nix ( #13 )
2022-11-15 12:50:00 +08:00
Hamish Mackenzie
87e023de4d
Add ghc 9.2.5 ( #14 )
...
nix flake lock --update-input haskellNix
2022-11-15 12:49:35 +08:00
