forked from hbrouwer/pdrt-sandbox
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
48 lines (29 loc) · 739 Bytes
/
Makefile
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
# Simple Makefile for pdrt-sandbox
FLAGS=--prefix=${HOME} --user
SRC=src/Data/*.hs src/Data/DRS/*.hs src/Data/DRS/Input/*.hs src/Data/FOL/*.hs src/Data/PDRS/*.hs src/Data/PDRS/Input/*.hs src/Data/SDRS/*.hs
SDRT_SRC = src/Data/SDRS.hs src/Data/SDRS/*.hs
### build ###
all: configure build install
configure:
runhaskell Setup.hs configure ${FLAGS}
build:
runhaskell Setup.hs build
install:
runhaskell Setup.hs install
clean:
runhaskell Setup.hs clean
### distribution ###
sdist:
runhaskell Setup.hs sdist
### haddock ###
haddock:
runhaskell Setup.hs haddock --haddock-option --ignore-all-exports
### hlint ###
hlint:
hlint ${SRC}
### hlint_sdrt ###
hlint_sdrt:
hlint ${SDRT_SRC}
### count ###
count:
wc -l ${SRC}