From 289d8bafcbf0c4375c206ad482b60a0ced5984e7 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 12 Sep 2024 08:29:47 -0700 Subject: [PATCH] Use dev djoths. --- cabal.project | 4 ++++ stack.yaml | 2 ++ 2 files changed, 6 insertions(+) diff --git a/cabal.project b/cabal.project index 2cf98415c..0ff2dabea 100644 --- a/cabal.project +++ b/cabal.project @@ -13,3 +13,7 @@ source-repository-package subdir: commonmark tag: ff9fe5736d2b8eb65e148e9c4a2a95b3d96eefd6 +source-repository-package + type: git + location: https://github.com/jgm/djoths + tag: 1da0c094a4bdfd67ce195b1c338075a6dcd1f3a4 diff --git a/stack.yaml b/stack.yaml index 399706119..7b15234e8 100644 --- a/stack.yaml +++ b/stack.yaml @@ -26,6 +26,8 @@ extra-deps: - git: https://github.com/jgm/commonmark-hs subdirs: [commonmark] commit: ff9fe5736d2b8eb65e148e9c4a2a95b3d96eefd6 +- git: https://github.com/jgm/djoths + commit: 1da0c094a4bdfd67ce195b1c338075a6dcd1f3a4 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules