m2-internship/dwarf-synthesis
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Compare commits

base: m2-internship:2c9e3d5525f399856f6623f9e4bbc42420577fe0
Branches Tags
m2-internship:master
m2-internship:verify_synthesis
m2-internship:write_dwarf
...
compare: m2-internship:f1b84f1fbe53d33ec1ea5946f23c23afa22e79f0
Branches Tags
m2-internship:master
m2-internship:verify_synthesis
m2-internship:write_dwarf

1 commit
2c9e3d5525 ... f1b84f1fbe

Author SHA1 Message Date
Théophile Bastian f1b84f1fbe Add make tarball 2019-05-28 21:40:05 +02:00
1 changed files with 22 additions and 0 deletions
Show stats Expand all files Collapse all files

22
Makefile
View file

@ -1,6 +1,7 @@
OCAMLBUILD=bapbuild -no-hygiene
BAPBUNDLE=bapbundle
ROOT_MODULE=dwarfsynth
TARBALL=dwarfsynth.tar.gz
LIBDWARFW_SO=libdwarfw/build/libdwarfw.so
LIBDWARFW_SO_MESON=libdwarfw/build/build.ninja
@ -22,10 +23,31 @@ $(LIBDWARFW_SO):
$(ROOT_MODULE).plugin:
$(OCAMLBUILD) $(ROOT_MODULE).plugin
###############################################################################
.PHONY: install
install: $(ROOT_MODULE).plugin
$(BAPBUNDLE) install $<
###############################################################################
.PHONY: clean
clean:
rm -rf _build
###############################################################################
tarball: $(TARBALL)
.PHONY: $(TARBALL)
$(TARBALL):
tar czf $(TARBALL) \
--exclude=.git \
--exclude=.gitignore \
--exclude=libdwarfw/build \
--exclude-backups \
--exclude=*.bck \
--exclude=*.bin \
--exclude=*.o \
--exclude=*.cmi \
--exclude=*.cmx \
--transform='s#^#dwarfsynth/#g' \
DwarfSynth dwarfsynth.ml DwarfSynth.mlpack libdwarfw LICENSE Makefile \
README.md synthesize_dwarf.sh _tags