diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-01-29 14:51:59 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-01-29 14:51:59 -0800 |
| commit | 1caa50a42867a6f02ee282a99ab5aa53622bde8e (patch) | |
| tree | 3d061c83e67bd6d394c067a01b671905c6b5c1d9 | |
| parent | 845894592af4fc233be1dc3f52c60647da1b489d (diff) | |
Use dev skylighting-core
| -rw-r--r-- | cabal.project | 6 | ||||
| -rw-r--r-- | stack.yaml | 2 |
2 files changed, 8 insertions, 0 deletions
diff --git a/cabal.project b/cabal.project index 1f412e753..89ea72e73 100644 --- a/cabal.project +++ b/cabal.project @@ -6,3 +6,9 @@ tests: True flags: +embed_data_files constraints: skylighting-format-blaze-html >= 0.1.1, skylighting-format-context >= 0.1.0.1 + +source-repository-package + type: git + location: https://github.com/jgm/skylighting + tag: 356be9ee8b3c12f0523a85c00626ee13c155e336 + subdir: skylighting-core diff --git a/stack.yaml b/stack.yaml index e7b6de8bf..46af29998 100644 --- a/stack.yaml +++ b/stack.yaml @@ -21,6 +21,8 @@ extra-deps: - pandoc-types-1.23 - pandoc-lua-marshal-0.2.0 - commonmark-pandoc-0.2.1.3 +- git: https://github.com/jgm/skylighting-core + commit: 356be9ee8b3c12f0523a85c00626ee13c155e336 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |