diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-02-08 21:08:00 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-02-08 21:08:00 -0700 |
| commit | dac9d40ce5f4f1bee733acb1ed91b301c899c2d6 (patch) | |
| tree | a69c70ab730a4fcf8691c473d9d33b836ddc3f4e /package.yaml | |
| parent | 3e5cdf208606700b45acecf7c8a0b366a8caa106 (diff) | |
| download | montis-dac9d40ce5f4f1bee733acb1ed91b301c899c2d6.tar.gz montis-dac9d40ce5f4f1bee733acb1ed91b301c899c2d6.tar.bz2 montis-dac9d40ce5f4f1bee733acb1ed91b301c899c2d6.zip | |
Made some more complex state in Wetterhorn.
Things are still purely for testing as I figure out how best to handle
the ffi boundary, though things are starting to make sense.
Diffstat (limited to 'package.yaml')
| -rw-r--r-- | package.yaml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/package.yaml b/package.yaml index 37bf008..4f4c6a3 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: wetterhorn -version: 0.1.0.0 + github: "githubuser/wetterhorn" license: BSD-3-Clause author: "Author name here" @@ -42,16 +42,18 @@ executables: c-sources: src/harness_adapter.c ghc-options: - -shared - - -fPIC - -dynamic - -lHSrts-1.0.2-ghc9.4.7 + cc-options: + - -g3 + - -shared wtr_harness: main: src/harness/main.c - ghc-options: - - -no-hs-main cc-options: - -ldl + - -ggdb + - -g3 tests: wetterhorn-test: |