2023-05-28 20:58:20 +02:00
|
|
|
cabal-version: 3.0
|
2022-07-17 18:22:25 +02:00
|
|
|
name: cas-serve
|
|
|
|
version: 0.1.0.0
|
|
|
|
author: Profpatsch
|
|
|
|
maintainer: mail@profpatsch.de
|
|
|
|
|
2023-05-28 20:58:20 +02:00
|
|
|
common common-options
|
|
|
|
ghc-options:
|
|
|
|
-Wall
|
|
|
|
-Wno-type-defaults
|
|
|
|
-Wunused-packages
|
|
|
|
-Wredundant-constraints
|
|
|
|
-fwarn-missing-deriving-strategies
|
|
|
|
|
|
|
|
-- See https://downloads.haskell.org/ghc/latest/docs/users_guide/exts.html
|
|
|
|
-- for a description of all these extensions
|
|
|
|
default-extensions:
|
|
|
|
-- Infer Applicative instead of Monad where possible
|
|
|
|
ApplicativeDo
|
|
|
|
|
|
|
|
-- Allow literal strings to be Text
|
|
|
|
OverloadedStrings
|
|
|
|
|
|
|
|
-- Syntactic sugar improvements
|
|
|
|
LambdaCase
|
|
|
|
MultiWayIf
|
|
|
|
|
|
|
|
-- Makes the (deprecated) usage of * instead of Data.Kind.Type an error
|
|
|
|
NoStarIsType
|
|
|
|
|
|
|
|
-- Convenient and crucial to deal with ambiguous field names, commonly
|
|
|
|
-- known as RecordDotSyntax
|
|
|
|
OverloadedRecordDot
|
|
|
|
|
|
|
|
-- does not export record fields as functions, use OverloadedRecordDot to access instead
|
|
|
|
NoFieldSelectors
|
|
|
|
|
|
|
|
-- Record punning
|
|
|
|
RecordWildCards
|
|
|
|
|
|
|
|
-- Improved Deriving
|
|
|
|
DerivingStrategies
|
|
|
|
DerivingVia
|
|
|
|
|
|
|
|
-- Type-level strings
|
|
|
|
DataKinds
|
|
|
|
|
|
|
|
-- to enable the `type` keyword in import lists (ormolu uses this automatically)
|
|
|
|
ExplicitNamespaces
|
|
|
|
|
|
|
|
default-language: GHC2021
|
|
|
|
|
|
|
|
|
2022-07-17 18:22:25 +02:00
|
|
|
executable cas-serve
|
2023-05-28 20:58:20 +02:00
|
|
|
import: common-options
|
|
|
|
|
2022-07-17 18:22:25 +02:00
|
|
|
main-is: CasServe.hs
|
|
|
|
|
|
|
|
build-depends:
|
2022-12-27 14:32:52 +01:00
|
|
|
base >=4.15 && <5,
|
2023-05-28 20:58:20 +02:00
|
|
|
pa-prelude,
|
|
|
|
pa-label,
|
|
|
|
arglib-netencode,
|
|
|
|
netencode,
|
2022-07-17 18:22:25 +02:00
|
|
|
text,
|
|
|
|
sqlite-simple,
|
|
|
|
http-types,
|
|
|
|
wai,
|
|
|
|
warp,
|
|
|
|
mtl,
|
|
|
|
bytestring,
|
|
|
|
memory,
|
2024-03-31 11:56:52 +02:00
|
|
|
crypton,
|