2017-03-15 23:49:02 +00:00
|
|
|
INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),)
|
2012-10-17 09:33:37 +00:00
|
|
|
|
2017-03-15 23:49:02 +00:00
|
|
|
.PHONY: all
|
|
|
|
all:
|
|
|
|
jbuilder build @install
|
2012-10-17 09:33:37 +00:00
|
|
|
|
2017-03-15 23:49:02 +00:00
|
|
|
.PHONY: install
|
|
|
|
install:
|
|
|
|
jbuilder install $(INSTALL_ARGS)
|
2012-10-17 09:33:37 +00:00
|
|
|
|
2017-03-15 23:49:02 +00:00
|
|
|
.PHONY: uninstall
|
|
|
|
uninstall:
|
|
|
|
jbuilder uninstall $(INSTALL_ARGS)
|
2012-10-17 09:33:37 +00:00
|
|
|
|
2017-03-15 23:49:02 +00:00
|
|
|
.PHONY: reinstall
|
|
|
|
reinstall:
|
|
|
|
$(MAKE) uninstall
|
|
|
|
$(MAKE) install
|
2012-10-17 09:33:37 +00:00
|
|
|
|
2017-05-26 13:43:45 +00:00
|
|
|
|
|
|
|
.PHONY: examples
|
|
|
|
examples:
|
|
|
|
jbuilder build @examples
|
|
|
|
|
2017-03-15 23:49:02 +00:00
|
|
|
.PHONY: test
|
|
|
|
test:
|
|
|
|
jbuilder runtest
|
2012-10-17 09:33:37 +00:00
|
|
|
|
2017-03-15 23:49:02 +00:00
|
|
|
.PHONY: all-supported-ocaml-versions
|
|
|
|
all-supported-ocaml-versions:
|
2017-05-26 14:26:27 +00:00
|
|
|
jbuilder build --workspace jbuild-workspace.dev
|
2012-10-17 09:33:37 +00:00
|
|
|
|
2017-03-15 23:49:02 +00:00
|
|
|
.PHONY: cinaps
|
|
|
|
cinaps:
|
|
|
|
cinaps -styler ocp-indent -i src/migrate_parsetree_versions.ml*
|
|
|
|
cinaps -styler ocp-indent -i src/migrate_parsetree_40?_40?.ml*
|
2012-10-17 09:33:37 +00:00
|
|
|
|
2017-03-15 23:49:02 +00:00
|
|
|
.PHONY: clean
|
|
|
|
clean:
|
|
|
|
rm -rf _build *.install
|
|
|
|
find . -name .merlin -delete
|
2012-10-17 09:33:37 +00:00
|
|
|
|
2017-04-04 12:51:58 +00:00
|
|
|
# This needs to be updated
|
2017-03-15 23:49:02 +00:00
|
|
|
.PHONY: gh-pages
|
2014-10-28 00:40:23 +00:00
|
|
|
gh-pages: doc
|
|
|
|
git clone `git config --get remote.origin.url` .gh-pages --reference .
|
|
|
|
git -C .gh-pages checkout --orphan gh-pages
|
|
|
|
git -C .gh-pages reset
|
|
|
|
git -C .gh-pages clean -dxf
|
|
|
|
cp -t .gh-pages/ _build/utop-api.docdir/*
|
|
|
|
git -C .gh-pages add .
|
|
|
|
git -C .gh-pages commit -m "Update Pages"
|
|
|
|
git -C .gh-pages push origin gh-pages -f
|
|
|
|
rm -rf .gh-pages
|