blob: 4a971a588b0706d86c6d6992b355cb1a8172509d (
plain) (
blame)
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
|
commit 1bfb2b78e56f953956f2125980992b91ad355774
Author: Nguyễn Gia Phong <cnx@loang.net>
Date: 2025-05-08 11:01:05 +0900
Build and install utilities
diff --git a/Makefile b/Makefile
index 395f7a387bd9..feaef92f3266 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,23 @@
+.POSIX:
+.PHONY: all install
+
+PREFIX ?= /usr/local
+BINDIR ::= $(DESTDIR)$(PREFIX)/bin
+BIN ::= fuzzolic-merge-bitmap fuzzolic-find-models-addrs
+
+all: $(BIN)
+
+fuzzolic-find-models-addrs: fuzzolic/find_models_addrs.py
+ cp $< $@
+
+fuzzolic-merge-bitmap: utils/merge_bitmap.o
+ $(CC) $(LDFLAGS) $< $(LOADLIBES) $(LDLIBS) -o $@
+
+install: $(BIN:%=$(BINDIR)/%)
+
+$(BINDIR)/%: %
+ install -Dm 755 $< $@
+
simpleif: build clean-work-dir
./fuzzolic/fuzzolic.py -o workdir -i tests/simple_if_0.dat tests/driver simple_if
./utils/print_test_cases.py workdir/tests
|