-
Notifications
You must be signed in to change notification settings - Fork 0
/
hstherac25.cabal
144 lines (118 loc) · 4.54 KB
/
hstherac25.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
cabal-version: 3.4
-- The cabal-version field refers to the version of the .cabal specification,
-- and can be different from the cabal-install (the tool) version and the
-- Cabal (the library) version you are using. As such, the Cabal (the library)
-- version used must be equal or greater than the version stated in this field.
-- Starting from the specification version 2.2, the cabal-version field must be
-- the first thing in the cabal file.
-- Initial package description 'HsTherac25' generated by
-- 'cabal init'. For further documentation, see:
-- http://haskell.org/cabal/users-guide/
--
-- The name of the package.
name: hstherac25
-- The package version.
-- See the Haskell package versioning policy (PVP) for standards
-- guiding when and how versions should be incremented.
-- https://pvp.haskell.org
-- PVP summary: +-+------- breaking API changes
-- | | +----- non-breaking API additions
-- | | | +--- code changes with no API change
version: 0.1.0.0
-- A short (one-line) description of the package.
-- synopsis:
-- A longer description of the package.
-- description:
-- The license under which the package is released.
license: LGPL-3.0-or-later
-- The file containing the license text.
license-file: LICENSE
-- The package author(s).
author: Boris Jerkson
-- An email address to which users can send suggestions, bug reports, and patches.
maintainer: [email protected]
-- A copyright notice.
-- copyright:
category: Concurrency
build-type: Simple
-- Extra doc files to be distributed with the package, such as a CHANGELOG or a README.
extra-doc-files: CHANGELOG.md
-- Extra source files to be distributed with the package, such as examples, or a tutorial module.
-- extra-source-files:
common linuxflags
ghc-options: -Wall -O2 -threaded -with-rtsopts=-N -fPIE -fPIC
common windowsflags-lib
ghc-options: -Wall -O2 -threaded -with-rtsopts=-N -shared
common windowsflags-exe
ghc-options: -Wall -O2 -threaded -with-rtsopts=-N
-- don't forget to set those in hs_init when loading
foreign-library hstherac25
type: native-shared
if os(windows)
import: windowsflags-lib
options: standalone
else
import: linuxflags
-- Directories containing source files.
hs-source-dirs: src-lib
-- Base language which the package is written in.
default-language: GHC2021
build-depends: base >=4.15.0.0,
containers >= 0.6.7,
lens >= 5.2.3,
random >= 1.2.1.1,
stm,
hstherac25
other-modules: HsTherac25
install-includes: csrc/Therac.h
c-sources: csrc/Therac.c
-- cxx-sources: cxxsrc/TheracSimulatorAdapter.cpp
-- cxx-sources: cxxsrc/TheracSimulatorAdapter.hpp, cxxsrc/TheracSimulatorAdapter.cpp
library
-- Import common warning flags.
if os(linux)
import: linuxflags
else
import: windowsflags-lib
-- Modules exported by the library.
exposed-modules: HsTherac25
-- Modules included in this library but not exported.
-- other-modules:
-- LANGUAGE extensions used by modules in this package.
-- other-extensions:
-- Other library packages from which modules are imported.
build-depends: base >=4.15.0.0,
containers >= 0.6.7,
lens >= 5.2.3,
random >= 1.2.1.1,
stm
-- Directories containing source files.
hs-source-dirs: src-lib
-- Base language which the package is written in.
default-language: GHC2021
test-suite HsTherac25-test
-- Import common warning flags.
if os(linux)
import: linuxflags
else
import: windowsflags-exe
-- Base language which the package is written in.
default-language: GHC2021
-- Modules included in this executable, other than Main.
-- other-modules:
-- LANGUAGE extensions used by modules in this package.
-- other-extensions:
-- The interface type and version of the test suite.
type: exitcode-stdio-1.0
-- Directories containing source files.
hs-source-dirs: test
-- The entrypoint to the test suite.
main-is: Main.hs
-- Test dependencies.
build-depends:
hstherac25,
base >=4.15.0.0,
containers >= 0.6.7,
lens >= 5.2.3,
random >= 1.2.1.1,
stm