Skip to content

Instantly share code, notes, and snippets.

@mpickering

mpickering/cogent.cabal

Created February 9, 2018 17:02
Show Gist options
  • Save mpickering/1f6d8fbf4b3d178c33c0a23b1f6f831a to your computer and use it in GitHub Desktop.
Save mpickering/1f6d8fbf4b3d178c33c0a23b1f6f831a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
cogent.cabal
-- Initial cogent.cabal generated by cabal init. For further documentation,
-- see http://haskell.org/cabal/users-guide/
name: cogent
version: 2.0.8.0
-- synopsis:
-- description:
-- license:
-- license-file: LICENSE
author: Liam O'Connor
Zilin Chen
maintainer: Liam O'Connor <liamoc@cse.unsw.edu.au>
Zilin Chen <zilin.chen@data61.csiro.au>
homepage: https://ts.data61.csiro.au/projects/TS/cogent.pml
bug-reports: https://github.com/NICTA/cogent/issues
-- copyright:
-- category:
build-type: Custom
cabal-version: >=1.24
tested-with: GHC==8.0.1, GHC==8.0.2, GHC==8.2.1
data-files:
static/jquery.min.js
static/style.css
static/toc.min.js
static/logo.png
source-repository head
type: git
location: https://github.com/NICTA/cogent/
custom-setup
setup-depends:
base >= 4.7
, Cabal >= 1.24
, directory >= 1.2
, filepath >= 1.4.0.0
, process >= 1.2.0.0
library
hs-source-dirs: src
exposed-modules:
Cogent.ACInstall
, Cogent.AllRefine
, Cogent.CallGraph
, Cogent.CodeGen
, Cogent.Common.Syntax
, Cogent.Common.Types
, Cogent.Compiler
, Cogent.Context
, Cogent.Core
, Cogent.CorresProof
, Cogent.CorresSetup
, Cogent.Deep
, Cogent.Desugar
, Cogent.DList
, Cogent.DocGent
, Cogent.GetOpt
, Cogent.Glue
, Cogent.GraphGen
, Cogent.Hangman
, Cogent.Inference
, Cogent.Mono
, Cogent.MonoProof
, Cogent.Normal
, Cogent.NormalProof
, Cogent.Parser
, Cogent.PrettyPrint
, Cogent.Preprocess
, Cogent.ProofGen
, Cogent.Reorganizer
, Cogent.Root
, Cogent.Shallow
, Cogent.ShallowTable
, Cogent.Simplify
, Cogent.SuParser
, Cogent.Surface
, Cogent.TypeCheck
, Cogent.TypeCheck.Base
, Cogent.TypeCheck.Generator
, Cogent.TypeCheck.GoalSet
, Cogent.TypeCheck.Post
, Cogent.TypeCheck.Solver
, Cogent.TypeCheck.Subst
, Cogent.TypeCheck.Util
, Cogent.TypeProofs
, Cogent.Util
, Cogent.Vec
other-modules:
-- Generated
Paths_cogent
, Version_cogent
build-depends:
ansi-terminal >= 0.6
, ansi-wl-pprint >= 0.6
, atomic-write >= 0.2.0.4
, base >= 4.7
, bifunctors >= 4.2
, blaze-html >= 0.8.1
, blaze-markup >= 0.7
, bytestring >= 0.10
, containers >= 0.5.8
, cpphs >= 1.19
, data-default >=0.5
, directory >= 1.2
, disassembler >= 0.2.0.0
-- , either >= 4.3.2
, extra >= 1.3
, filepath >= 1.4.0.0
, flippers >= 1.0.0
, graph-wrapper >= 0.2
, groups >= 0.4.0.0
, hscurses >= 1.4
, isa-parser >= 0.1.0.0
, language-c >= 0.4
, language-c-quote >= 0.10.2
, lens >= 4.6
, mainland-pretty >= 0.2.6
, MissingH >= 1.3
, monoid-subclasses >= 0.4
, mtl >= 2.2.1
, pandoc-types >= 1.16
, parsec >= 3.1
, pretty-show >= 1.5
, process >= 1.2.0.0
, random >= 1.1
, reducers >= 3.10
, shakespeare >= 2.0
, srcloc >= 0.4
, syb >= 0.4
, text >= 0.11.3.1
, time >= 1.5
, transformers >= 0.4.2
, tuple >= 0.3
, uniplate >= 1.6
, vector >= 0.10.0.1
if impl(ghc >= 8.2.1)
-- Cabal-2.0 is in the way, not ghc per se.
-- Thus this conditional is an approximation.
build-depends:
pandoc >= 1.19.2.4
else
build-depends:
pandoc >= 1.16
default-language: Haskell2010
default-extensions: CPP
build-tools:
alex
, happy
ghc-options:
-- -Werror
-fno-warn-name-shadowing
-fno-warn-missing-signatures
-fno-warn-unused-matches
-O2
-- -rtsopts
-- +RTS -K256M
-- if impl(ghc >= 7.10.1)
-- ghc-options: -fno-warn-unticked-promoted-constructors
executable cogent
main-is: Main.hs
hs-source-dirs: main
build-depends:
cogent
, ansi-wl-pprint >= 0.6
, atomic-write >= 0.2.0.4
, base >= 4.7
, containers >= 0.5
, directory >=1.2
, errors >= 2.2
, filepath >= 1.4.0.0
, lens >= 4.6
, mainland-pretty >= 0.2.6
, MissingH >= 1.3
, pretty-show >= 1.5
, process >= 1.2.0.0
, text >= 0.11.3.1
, time >= 1.5
, transformers >= 0.4.2
, tuple >= 0.3
default-language: Haskell2010
default-extensions: CPP
build-tools:
alex
, happy
ghc-options:
-- -Werror
-dcore-lint
-fno-warn-name-shadowing
-fno-warn-missing-signatures
-fno-warn-unused-matches
-O2
-- -rtsopts
-- +RTS -K256M
-- if impl(ghc >= 7.10.1)
-- ghc-options: -fno-warn-unticked-promoted-constructors
test-suite test-util
type: exitcode-stdio-1.0
default-language: Haskell2010
default-extensions: CPP
main-is: test-util.hs
build-depends:
cogent
, base >= 4.7
, containers >= 0.5
, directory >=1.2
, filepath >= 1.4.0.0
, mtl >= 2.2.1
Raw
shell.nix
{ nixpkgs ? import <nixpkgs> {}, compiler ? "default", doBenchmark ? false }:
let
inherit (nixpkgs) pkgs;
f = { mkDerivation, alex, ansi-terminal, ansi-wl-pprint
, atomic-write, base, bifunctors, blaze-html, blaze-markup
, bytestring, Cabal, containers, cpphs, data-default, directory
, disassembler, errors, extra, filepath, flippers, graph-wrapper
, groups, happy, hscurses, language-c, language-c-quote
, lens, mainland-pretty, MissingH, monoid-subclasses, mtl, pandoc
, pandoc-types, parsec, pretty-show, process, random, reducers
, shakespeare, srcloc, stdenv, syb, text, time, transformers, tuple
, uniplate, vector
}:
mkDerivation {
pname = "cogent";
version = "2.0.8.0";
src = ./.;
isLibrary = true;
isExecutable = true;
enableSeparateDataOutput = true;
setupHaskellDepends = [ base Cabal directory filepath process ];
libraryHaskellDepends = [
];
libraryToolDepends = [ alex happy ];
executableHaskellDepends = [
];
executableToolDepends = [ alex happy ];
testHaskellDepends = [ base containers directory filepath mtl ];
homepage = "https://ts.data61.csiro.au/projects/TS/cogent.pml";
license = stdenv.lib.licenses.unfree;
};
haskellPackages = if compiler == "default"
then pkgs.haskellPackages
else pkgs.haskell.packages.${compiler};
variant = if doBenchmark then pkgs.haskell.lib.doBenchmark else pkgs.lib.id;
drv = variant (haskellPackages.callPackage f {});
in
if pkgs.lib.inNixShell then drv.env else drv
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment