Commit 45eb7ff7 by POTTIER Francois

Add a root Makefile, which is distributed.

parent 18f4f3b9
......@@ -5,14 +5,11 @@
SHELL := bash
export CDPATH=
.PHONY: all package check export opam pin unpin
.PHONY: package check export opam pin unpin
# -------------------------------------------------------------------------
# A dummy entry.
all:
@echo Please go down into src/ to compile and install this package.
include Makefile
# -------------------------------------------------------------------------
......@@ -39,7 +36,7 @@ TARBALL := $(CURRENT)/$(PACKAGE).tar.gz
# This does not include the src/ and doc/ directories, which require
# special treatment.
DISTRIBUTED_FILES := AUTHORS CHANGES LICENSE
DISTRIBUTED_FILES := AUTHORS CHANGES LICENSE Makefile
# -------------------------------------------------------------------------
......
.PHONY: all clean install uninstall reinstall
all clean install uninstall reinstall:
$(MAKE) -C src $@
......@@ -7,13 +7,13 @@ homepage: "https://gitlab.inria.fr/fpottier/visitors"
dev-repo: "git@gitlab.inria.fr:fpottier/visitors.git"
bug-reports: "francois.pottier@inria.fr"
build: [
[make "-f" "src/Makefile"]
[make]
]
install: [
[make "-f" "src/Makefile" "install"]
[make "install"]
]
remove: [
[make "-f" "src/Makefile" "uninstall"]
[make "uninstall"]
]
depends: [
"ocamlfind"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment