Skip to content

Commit

Permalink
closes #39 . Package uploaded to HackageDB
Browse files Browse the repository at this point in the history
  • Loading branch information
ugeorge committed Dec 26, 2018
1 parent 1dbbef9 commit 5c949b4
Show file tree
Hide file tree
Showing 5 changed files with 42 additions and 14 deletions.
4 changes: 3 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
**/.*.swp
dist
.stack-work
*~
*~
.cabal-sandbox
cabal.sandbox.config
39 changes: 29 additions & 10 deletions ForSyDe-Deep.cabal → forsyde-deep.cabal
Original file line number Diff line number Diff line change
@@ -1,20 +1,20 @@
name: ForSyDe-Deep
name: forsyde-deep
version: 0.2.0
cabal-version: >= 1.9.2
build-type: Custom
license: BSD3
license-file: LICENSE
author: ES group, KTH/ICT/ES
copyright: Copyright (c) 2003-2013 SAM group, KTH/ICT/ES
maintainer: forsyde-dev@ict.kth.se
homepage: http://forsyde.ict.kth.se/
author: Alfonso Acosta, Hendrik Woidt
copyright: Copyright (c) 2003-2018 ForSyDe Group, KTH/EECS/ES
maintainer: forsyde-dev@eecs.kth.se
homepage: https://forsyde.github.io/
stability: alpha
synopsis:
ForSyDe's Haskell-embedded Domain Specific Language.
description:
The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.

This library provides ForSyDe's implementation as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: <http://www.ict.kth.se/forsyde/>.
This library provides ForSyDe's implementation as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: <https://forsyde.github.io/>.

This library provides the deep implementation of ForSyDe in Haskell.
category: Language, Hardware
Expand Down Expand Up @@ -54,10 +54,10 @@ Test-Suite examples
main-is: Main.hs
hs-source-dirs: tests/examples,
examples/
build-depends: base>=4 && <6,
build-depends: base>= 4.8.2 && < 4.9.2,
parameterized-data >= 0.1.5,
type-level,
ForSyDe-Deep,
forsyde-deep,
HUnit,
random,
syb,
Expand All @@ -68,7 +68,7 @@ Library
build-depends: type-level,
parameterized-data >= 0.1.5,
containers,
base>=4 && <6,
base>= 4.8.2 && < 4.9.2,
regex-posix,
mtl,
syb,
Expand Down Expand Up @@ -98,7 +98,7 @@ Library
ForSyDe.Deep.Backend.VHDL,
ForSyDe.Deep.Backend.GraphML

other-modules: Paths_ForSyDe_Deep,
other-modules: Paths_forsyde_deep,
Language.Haskell.TH.TypeLib,
Data.Typeable.TypeRepLib,
Data.Typeable.FSDTypeRepLib,
Expand Down Expand Up @@ -144,6 +144,25 @@ Library
if flag(developer)
cpp-options: -DDEVELOPER

custom-setup
setup-depends: base >=4.8.2 && <4.9.2,
Cabal >= 1.22 && < 1.25,
parameterized-data >= 0.1.5,
containers,
base>= 4.8.2 && < 4.9.2,
regex-posix,
mtl,
syb,
pretty,
template-haskell,
process,
directory,
filepath,
random,
type-level,
HUnit,
QuickCheck

source-repository head
type: git
location: git://github.com/forsyde/forsyde-deep.git
4 changes: 2 additions & 2 deletions src/ForSyDe/Deep/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -14,9 +14,9 @@
-----------------------------------------------------------------------------
module ForSyDe.Deep.Config (forsydeVersion,
maxTupleSize,
module Paths_ForSyDe_Deep) where
module Paths_forsyde_deep) where

import Paths_ForSyDe_Deep
import Paths_forsyde_deep
import ForSyDe.Deep.Version (getVersion)

#ifdef DEVELOPER
Expand Down
2 changes: 1 addition & 1 deletion src/ForSyDe/Deep/Version.hs
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@

module ForSyDe.Deep.Version (getVersion) where

import Paths_ForSyDe_Deep (version)
import Paths_forsyde_deep (version)
import Data.Version (showVersion)

import Language.Haskell.TH (runIO)
Expand Down
7 changes: 7 additions & 0 deletions stack.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,3 +8,10 @@ extra-deps:
- syb-0.7
- type-level-0.3.0
- regex-base-0.93.2
# for test suites
- HUnit-1.6.0.0
- QuickCheck-2.12.6.1
- call-stack-0.1.0
- erf-2.0.0.0
- tf-random-0.5
- primitive-0.6.4.0

0 comments on commit 5c949b4

Please sign in to comment.