input-output-hk/devx
1
1
Fork 0
mirror of https://github.com/input-output-hk/devx.git synced 2024-09-21 00:58:07 +03:00
Code Issues Projects Releases Wiki Activity
Slightly opinionated shared GitHub Action for Cardano-Haskell projects
32 Commits 20 Branches 6 Tags 1,010 KiB
Nix 85.7%
Shell 8%
Dockerfile 6.1%
Ruby 0.2%
0b0eeaea8c
Go to file
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
haskell/nix-shell bump 2022-09-27 07:23:33 +00:00
pkgs Add cddl and cbor-diag 2022-11-14 11:41:57 +08:00
dynamic.nix Externalise tool mapping 2022-12-08 17:14:33 +08:00
flake.lock Add ghc 9.2.5 (#14) 2022-11-15 12:49:35 +08:00
flake.nix Add HLS and HLint (#16) 2022-12-08 10:08:10 +08:00
LICENSE Initial commit 2022-09-27 13:22:13 +08:00
macos.bash add macOS docs 2022-11-27 15:29:43 +08:00
README.md Update README.md 2022-12-08 17:19:59 +08:00
static.nix pull cddl and cbor-diag from buildPackages 2022-12-09 10:40:35 +08:00
tool-map.nix Externalise tool mapping 2022-12-08 17:14:33 +08:00

README.md

Developer Experience Repo

To obtain a development shell for hacking on haskell based projects at use

nix develop github:input-output-hk/devx#ghc8107 --no-write-lock-file --refresh

if you want to pick a specific system (e.g. you are on an apple silicon mac, and want to switch between different architectures):

nix develop github:input-output-hk/devx#ghc8107 --no-write-lock-file --refresh --system x86_64-darwin

or

nix develop github:input-output-hk/devx#ghc8107 --no-write-lock-file --refresh --system aarch64-darwin

To use a different compiler, chose #ghc925 instead of #ghc8107 or similar. There are also other configurations:

  • #ghc8107-minimal (same as #ghc8107, but without haskell-langauge-server or hlint).
  • #ghc8107-static (same as #ghc8107, but configured to produce static outputs instead of dynamically linked ones).
  • #ghc8107-static-minimal (same as #ghc8107-static, but configured without haskell-language-server or hlint).