package-template.yaml

name:                rpki-prover
version:             0.9.6
github:              "lolepezy/rpki-prover"
license:             BSD3
author:              "Mikhail Puzanov"
maintainer:          "misha.puzanov@gmail.com"
copyright:           "2023 Mikhail Puzanov"

extra-source-files:
- README.md
- ChangeLog.md

# Metadata used when publishing your package
# synopsis:            RPKI relying party software
# category:            Network

# To avoid duplicated efforts in documentation and dealing with the
# complications of embedding Haddock markup inside cabal files, it is
# common to point users to the README.md file.
description:         Please see the README on GitHub at <https://github.com/githubuser/rpki-prover#readme>

default-extensions: BangPatterns, ViewPatterns, LambdaCase, ConstraintKinds, DataKinds, 
                    DeriveDataTypeable, DeriveGeneric, DeriveFunctor,
                    DuplicateRecordFields, FlexibleContexts, GADTs,
                    KindSignatures, MultiParamTypeClasses, MultiWayIf, NoMonomorphismRestriction, 
                    NumericUnderscores, PatternSynonyms, PolyKinds, RankNTypes, QuantifiedConstraints,
                    StandaloneDeriving, ScopedTypeVariables, TupleSections, TypeApplications, 
                    TypeFamilies, TypeOperators

dependencies:
- base
- aeson
- asn1-encoding
- asn1-parse
- asn1-types
- async
- barbies
- base16-bytestring
- base64
- binary
- blaze-html
- bytestring
- bytestring-mmap
- cborg
- containers
- conduit
- conduit-extra
- cryptonite
- cryptohash-sha256
- cryptohash-sha512
- crypton-connection
- deepseq
- deque
- directory
- filepath
- file-embed-lzma
- generic-lens
- generic-monoid
- hashable
- hourglass
- http-client
- http-client-tls
- http-conduit
- http-media
- http-types
- hw-ip
- interpolate
- insert-ordered-containers
- lens
- lmdb-high-level
- lifted-async
- lifted-base
- list-t
- lz4
- memory
- mmorph
- modern-uri
- monad-control
- monoidal-containers
- mtl
- network
- nonempty-containers
- optparse-generic
- pipes
- primitive
- prometheus-client
- prometheus-metrics-ghc
- servant
- servant-server
- servant-blaze
- servant-swagger-ui
- servant-swagger
- swagger2
- shower
- split
- stm
- stm-containers
- store
- streaming
- strict-tuple
- string-conversions
- text
- these
- typed-process
- transformers
- temporary
- x509
- x509-validation
- QuickCheck
- quickcheck-instances
- tasty
- tasty-hunit
- tasty-quickcheck    
- th-utilities
- generic-arbitrary
- quickcheck-instances
- unix
- unordered-containers
- unliftio
- vector
- warp
- xeno


ghc-options:  
  # - -j6 +RTS -A128m -AL256m -n4m -qb0 -qn6 -RTS -fprint-potential-instances -fwrite-ide-info  
  - -j8 +RTS -A256m -AL512m -n4m -qb0 -qn6 -RTS

library:
  source-dirs: src
  
executables:
  rpki-prover:
    main:                Main.hs
    source-dirs:         app
    ghc-options:
    - -threaded
    - -O2
    - -Wall    
    - -rtsopts
    - -funbox-strict-fields
    - '"-with-rtsopts=-A16m -AL64m -N2 -qg -T -I0 --disable-delayed-os-memory-return"'
    dependencies:
    - rpki-prover  

  # This is necessary to work around a ugly bug in stack
  #
  #1rpki-prover-static:    
  #1  main:                Main.hs
  #1  source-dirs:         app
  #1  ghc-options:
  #1  - -threaded
  #1  - -static
  #1  - -O2
  #1  - -Wall    
  #1  - -rtsopts
  #1  - -funbox-strict-fields    
  #1  - '"-with-rtsopts=-A16m -AL64m -N2 -qg -T --disable-delayed-os-memory-return"'
  #1  - -fPIC
  #1  cc-options: -static
  #1  ld-options: -static -pthread 
  #1  extra-lib-dirs: 
  #1    - /usr/lib 
  #1    - /usr/lib64 
  #1    - /lib 
  #1    - /lib64
  #1  dependencies:
  #1  - rpki-prover  

tests:
  rpki-prover-test:
    main:                Spec.hs
    source-dirs:         
    - test
    - test/src
    ghc-options:
    - -threaded
    - -rtsopts
    - -Wall        
    - -with-rtsopts=-N
    - -O2  
    dependencies:
    - rpki-prover
    - QuickCheck
    - tasty
    - tasty-hunit
    - tasty-quickcheck    
    - generic-arbitrary
    - quickcheck-instances
    - wreq