61 lines
2.5 KiB
Text
61 lines
2.5 KiB
Text
cabal-version: 2.2
|
|
name: plfa
|
|
version: 20.10
|
|
description: Programming Language Foundations in Agda
|
|
homepage: https://plfa.inf.ed.ac.uk
|
|
license-file: LICENSE
|
|
author: Wen Kokke
|
|
copyright: © 2017-2020 Wen Kokke, Jeremy G. Siek, and Philip Wadler
|
|
category: Web
|
|
build-type: Simple
|
|
|
|
common shared-properties
|
|
ghc-options: -Wall
|
|
default-language: Haskell2010
|
|
build-depends: aeson >=1.4 && <1.6
|
|
, base >=4.6 && <5
|
|
, bytestring >=0.10 && <0.11
|
|
, containers >=0.6 && <0.7
|
|
, directory >=1.2 && <1.4
|
|
, doctemplates >=0.8 && <1.0
|
|
, extra >=1.7 && <1.8
|
|
, filemanip >=0.3 && <0.4
|
|
, filepath >=1.3 && <1.5
|
|
, frontmatter >=0.1 && <0.2
|
|
, hakyll >=4.10 && <4.15
|
|
, pandoc >=2.1 && <2.11
|
|
, pandoc-types >=1.20 && <1.23
|
|
, pandoc-citeproc >=0.17 && <0.18
|
|
, text >=1.2 && <1.3
|
|
, text-icu >=0.7.1 && <0.8
|
|
, text-regex-replace >=0.1 && <0.2
|
|
, unordered-containers >=0.2 && <0.3
|
|
, vector >=0.12 && <0.13
|
|
, yaml >=0.11 && <0.12
|
|
|
|
library
|
|
import: shared-properties
|
|
hs-source-dirs: hs
|
|
exposed-modules: Hakyll.Web.Agda
|
|
, Hakyll.Web.Template.Numeric
|
|
, Hakyll.Web.Template.Context.Derived
|
|
, Hakyll.Web.Template.Context.Metadata
|
|
, Hakyll.Web.Template.Context.Title
|
|
, Hakyll.Web.Sass
|
|
, Hakyll.Web.Routes.Permalink
|
|
build-depends: Agda ==2.6.1.3
|
|
, hsass >=0.8 && <0.9
|
|
, regex-tdfa >=1.3 && <1.4
|
|
|
|
executable site
|
|
import: shared-properties
|
|
main-is: hs/Main.hs
|
|
build-depends: plfa
|
|
ghc-options: -threaded
|
|
|
|
executable update-contributors
|
|
import: shared-properties
|
|
main-is: hs/UpdateContributors.hs
|
|
build-depends: exceptions >=0.10 && <0.11
|
|
, github >=0.26 && <0.27
|
|
, vector >=0.12 && <0.13
|