diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-07-30 16:04:04 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2018-07-30 16:04:04 +0200 |
commit | 8cac6c584044034210fe0ba1e6b930ff1cc59465 (patch) | |
tree | 2150493c8ff19699b7e37e55bbb41a225d4d7ef7 /icetime | |
parent | 4582202121ef1619105ab02d8b51eba1a6bada60 (diff) | |
download | icestorm-8cac6c584044034210fe0ba1e6b930ff1cc59465.tar.gz icestorm-8cac6c584044034210fe0ba1e6b930ff1cc59465.tar.bz2 icestorm-8cac6c584044034210fe0ba1e6b930ff1cc59465.zip |
Also install text timing databases
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'icetime')
-rw-r--r-- | icetime/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/icetime/Makefile b/icetime/Makefile index 85d31f8..d260681 100644 --- a/icetime/Makefile +++ b/icetime/Makefile @@ -37,7 +37,9 @@ timings.inc: timings.py ../icefuzz/timings_*.txt install: all mkdir -p $(DESTDIR)$(PREFIX)/bin + mkdir -p $(DESTDIR)$(PREFIX)/share/icebox cp icetime$(EXE) $(DESTDIR)$(PREFIX)/bin/icetime$(EXE) + cp ../icefuzz/timings_*.txt $(DESTDIR)$(PREFIX)/share/icebox/ uninstall: rm -f $(DESTDIR)$(PREFIX)/bin/icetime$(EXE) |