From 780f4f569c3862cf8c33983271b44f348ab4e220 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Mon, 4 Dec 2023 07:58:57 -0800 Subject: [PATCH] Use latest dev skylighting, skylighting-core. --- cabal.project | 12 ++++++++++++ stack.yaml | 5 +++-- 2 files changed, 15 insertions(+), 2 deletions(-) diff --git a/cabal.project b/cabal.project index 2082e244a005..80ed2c9bb0f2 100644 --- a/cabal.project +++ b/cabal.project @@ -11,3 +11,15 @@ source-repository-package type: git location: https://github.com/jgm/typst-hs tag: 2a92d6b61b077ad6eaff857f45aa50004658082e + +source-repository-package + type: git + location: https://github.com/jgm/skylighting + subdir: skylighting-core + tag: 1f5c4df30b8690f444f76b0e7b3f942fed495e80 + +source-repository-package + type: git + location: https://github.com/jgm/skylighting + subdir: skylighting + tag: 1f5c4df30b8690f444f76b0e7b3f942fed495e80 diff --git a/stack.yaml b/stack.yaml index c9f3474a2aae..c83c37bd6d03 100644 --- a/stack.yaml +++ b/stack.yaml @@ -21,8 +21,6 @@ extra-deps: - http-client-tls-0.3.6.3 - typst-symbols-0.1.4 - toml-parser-1.3.0.0 -- skylighting-core-0.14 -- skylighting-0.14 - skylighting-format-blaze-html-0.1.1.1 - texmath-0.12.8.4 - tls-1.9.0 @@ -30,6 +28,9 @@ extra-deps: - commonmark-extensions-0.2.4 - git: https://github.com/jgm/typst-hs commit: 2a92d6b61b077ad6eaff857f45aa50004658082e +- git: https://github.com/jgm/skylighting + subdirs: [skylighting-core, skylighting] + commit: 1f5c4df30b8690f444f76b0e7b3f942fed495e80 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules