{ nixpkgs ? import <nixpkgs> { } }:
let
  inherit (nixpkgs) pkgs;
  inherit (pkgs) haskellPackages;
  project = import ./release.nix;
in
pkgs.stdenv.mkDerivation {
  name = "shell";
  buildInputs = project.env.nativeBuildInputs ++ [
    haskellPackages.cabal-install
    haskellPackages.hlint
    haskellPackages.ormolu ];
}
    

let
  pkgs = import <nixpkgs> { };
in
pkgs.haskellPackages.callPackage ./default.nix { }
                               

{ mkDerivation, base, lib, text }:
mkDerivation {
  pname = "CoreTT";
  version = "0.1.0.0";
  src = ./.;
  isLibrary = true;
  isExecutable = true;
  libraryHaskellDepends = [ base text ];
  executableHaskellDepends = [ base ];
  testHaskellDepends = [ base ];
  license = "unknown";
  hydraPlatforms = lib.platforms.none;
}

cabal-version:      2.4
name:               CoreTT
version:            0.1.0.0
synopsis:
-- A longer description of the package.
-- description:
homepage:
-- A URL where users can report bugs.
-- bug-reports:
license:            NONE
author:             Nicolas Osborne
maintainer:         nicolas.osborne@etu.univ-lille.fr
-- A copyright notice.
-- copyright:
category:           Language
extra-source-files: CHANGELOG.md
library
    exposed-modules:  MyLib
    -- Modules included in this library but not exported.
    other-modules: AbstractSyntax,
                   BidirectionalAbstractSyntax
    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:    base ^>=4.14.3.0,
                      text
    hs-source-dirs:   src
    default-language: Haskell2010
executable CoreTT
    main-is:          Main.hs
    -- Modules included in this executable, other than Main.
    -- other-modules:
    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:
        base ^>=4.14.3.0,
        CoreTT
    hs-source-dirs:   app
    default-language: Haskell2010
test-suite CoreTT-test
    default-language: Haskell2010
    type:             exitcode-stdio-1.0
    hs-source-dirs:   test
    main-is:          MyLibTest.hs
    build-depends:    base ^>=4.14.3.0