on master help sign in
skeleton: Use experimental __withGhcide
commit2c7cbb7fa6d17a5c2e26407767a86fb1e9e8d222 author3noch <eacameron@gmail.com> dateSat 18 Apr 2020, 21:58 (7 years ago) parent0388dbb
3 files changed+7−1
skeleton/default.nix+3−1 skeleton/hie-bios.sh+3 skeleton/hie.yaml+1
skeleton/default.nix+3−1
@@ -8,9 +8,11 @@
88 }
99}:
1010with obelisk;
11−project ./. ({ ... }: {
11+project ./. ({ pkgs, ... }: {
1212 android.applicationId = "systems.obsidian.obelisk.examples.minimal";
1313 android.displayName = "Obelisk Minimal Example";
1414 ios.bundleIdentifier = "systems.obsidian.obelisk.examples.minimal";
1515 ios.bundleName = "Obelisk Minimal Example";
16+
17+ __withGhcide = true;
1618})
skeleton/hie-bios.shnew file+3
@@ -0,0 +1,3 @@
1+#!/usr/bin/env bash
2+. $HOME/.bash_profile;
3+ob internal export-ghci-configuration > "$HIE_BIOS_OUTPUT"
skeleton/hie.yamlnew file+1
@@ -0,0 +1 @@
1+cradle: { bios: { program: hie-bios.sh } }