syncweb/Makefile at master · aryx/syncweb · GitHub

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
49
50
51
52
53
54
55
56
###############################################################################
# Prelude
###############################################################################

# Set TREESITTER_INCDIR/TREESITTER_LIBDIR for dune; generated by configure.
# '-include' so that the first build before configure still works.
# coupling: codemap/Makefile, codegraph/Makefile, osemgrep/Makefile
-include tree-sitter-config.mk

###############################################################################
# Main targets
###############################################################################

default:
	bash -c "dune build _build/install/default/bin/{syncweb,lpizer,syncweb_indexer,test.bc}"

syncweb-only:
	dune build _build/install/default/bin/syncweb

all:
	dune build
clean:
	dune clean
install:
	dune build syncweb.install lpizer.install
	dune install syncweb lpizer

#TODO: use testo, run syncweb on demos/ ? or in tests/syncweb/?
#TODO: ./bin/lpizer -verbose -lang c tests/lpizer/*.c
test:
	./bin/lpizer -verbose -lang ocaml tests/lpizer/*.ml
	./test

setup:
	opam install --deps-only ./syncweb.opam ./lpizer.opam -y

.PHONY: all clean install test

build-docker:
	docker build -t "syncweb" .

###############################################################################
# Developer targets
###############################################################################

# See https://github.com/aryx/codemap and https://github.com/aryx/fork-efuns
visual:
	codemap -screen_size 3 -filter semgrep -efuns_client efuns_client -emacs_client /dev/null .

index:
	$(MAKE) clean
	$(MAKE)
	codegraph_build -lang cmt .

syncweb.opam lpizer.opam: dune-project
	dune build $@