diff options
Diffstat (limited to 'org/config_make.org')
-rw-r--r-- | org/config_make.org | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/org/config_make.org b/org/config_make.org index 421892c..9dca7f9 100644 --- a/org/config_make.org +++ b/org/config_make.org @@ -252,6 +252,22 @@ markup_dir_samples: #+NAME: make_set_nix #+BEGIN_SRC makefile +nix-devshell: + echo -ne "\n- nix flake update && nix flake check --show-trace && nix flake show && nix develop .#devShell\n\n- nix build .#default --print-build-logs\n- nix build .#spine-dmd --print-build-logs\n- nix build .#spine-ldc --print-build-logs\n- nix build .#spine-gdc --print-build-logs\n\n"; \ + nix flake update && nix flake check --show-trace && nix flake show && nix develop .#devShell + +nix-build-default: + nix build .#default --print-build-logs + +nix-build-dmd: + nix build .#spine-dmd --print-build-logs + +nix-build-ldc: + nix build .#spine-ldc --print-build-logs + +nix-build-gdc: + nix build .#spine-gdc --print-build-logs + buildPhase: HOME=$${PWD}; \ for DC_ in dmd ldmd2 gdmd; do \ |