repo.or.cz
/
hdata.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Bookmark: implement usageBookmark
[hdata.git]
/
Makefile
blob
fe399382707ef0ad464b7c84486dceed37f062f8
1
PREFIX ?
= /
usr
2
3
hdata
:
4
ghc
-
isrc
-
isrc
/
Tools src
/
hdata.hs
5
6
clean
:
7
rm
-
rf src
/*
.o
8
rm
-
rf src
/*
.hi
9
rm
-
rf src
/
Tools
/*
.o
10
rm
-
rf src
/
Tools
/*
.hi
11
rm
-
rf
*
.db
12
rm
-
rf src
/
hdata
13
14
install
:
15
@mkdir
-
p
${
DESTDIR
}${
PREFIX
}/
bin
16
@cp
-
f src
/
hdata
${
DESTDIR
}${
PREFIX
}/
bin
17
@chmod
755
${
DESTDIR
}${
PREFIX
}/
bin
/
hdata
18
19
uninstall
:
20
@
rm
-
f
${
DESTDIR
}${
PREFIX
}/
bin
/
hdata