From 07e34954df523ec6c3c0526bc69aa83cc1ddc026 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 19 Nov 2021 09:40:59 -0500 Subject: [PATCH] use ocaml-mdx in dune requires mdx >= 1.3 close #33 --- Makefile | 25 +++---------------------- dune | 2 +- iter.opam | 2 +- 3 files changed, 5 insertions(+), 24 deletions(-) diff --git a/Makefile b/Makefile index f954f49..eb21248 100644 --- a/Makefile +++ b/Makefile @@ -33,27 +33,8 @@ update_next_tag: sed -i "s/NEXT_VERSION/$(VERSION)/g" src/*.ml src/*.mli sed -i "s/NEXT_RELEASE/$(VERSION)/g" src/*.ml src/*.mli +WATCH ?= @install watch: - while find src/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \ - echo "============ at `date` ==========" ; \ - sleep 0.2; \ - make all; \ - done + dune build $(WATCH) -w -REPO=git@github.com:c-cube/iter -DOCDIR=.gh-pages - -$(DOCDIR)/.git: - mkdir -p $(DOCDIR) - cd $(DOCDIR) && (\ - git clone -b gh-pages $(REPO).git . \ - ) - -gh-pages: $(DOCDIR)/.git doc - git -C $(DOCDIR) pull - cp -r _build/default/_doc/_html/* $(DOCDIR)/doc/dev/ - git -C $(DOCDIR) add --all - git -C $(DOCDIR) commit -a -m "gh-page updates" - git -C $(DOCDIR) push origin gh-pages - -.PHONY: benchs tests examples update_next_tag push_doc push_stable watch gh-pages +.PHONY: benchs tests examples update_next_tag diff --git a/dune b/dune index d5e5e21..59adf47 100644 --- a/dune +++ b/dune @@ -3,6 +3,6 @@ (name runtest) (deps README.md) (action (progn - (run mdx test %{deps}) + (run ocaml-mdx test %{deps}) (diff? %{deps} %{deps}.corrected)))) diff --git a/iter.opam b/iter.opam index 06307c6..0712cc3 100644 --- a/iter.opam +++ b/iter.opam @@ -18,7 +18,7 @@ depends: [ "dune-configurator" "qcheck" {with-test} "qtest" {with-test} - "mdx" {with-test} + "mdx" {with-test & >= "1.3" } "odoc" {with-doc} ] tags: [ "iter" "iterator" "iter" "fold" ]