Bookmark: implement usageBookmark
[hdata.git] / Makefile
blobfe399382707ef0ad464b7c84486dceed37f062f8
1 PREFIX ?= /usr
3 hdata:
4 ghc -isrc -isrc/Tools src/hdata.hs
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
14 install:
15 @mkdir -p ${DESTDIR}${PREFIX}/bin
16 @cp -f src/hdata ${DESTDIR}${PREFIX}/bin
17 @chmod 755 ${DESTDIR}${PREFIX}/bin/hdata
19 uninstall:
20 @rm -f ${DESTDIR}${PREFIX}/bin/hdata