From fc1397b6e3454482e9d571ad6891cd1ab6b545ca Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 6 Oct 2024 21:13:57 +0100 Subject: [PATCH] chore: remove obsolete workspace file nobody is using it as witnessed by the ancient versions of OCaml in it Signed-off-by: Rudi Grinberg --- Makefile | 3 --- dune-workspace.dev | 6 ------ 2 files changed, 9 deletions(-) delete mode 100644 dune-workspace.dev diff --git a/Makefile b/Makefile index cd14e6f68b4..65d9b208827 100644 --- a/Makefile +++ b/Makefile @@ -120,9 +120,6 @@ promote: $(BIN) .PHONY: accept-corrections accept-corrections: promote -all-supported-ocaml-versions: $(BIN) - $(BIN) build @install @runtest --workspace dune-workspace.dev --root . - .PHONY: clean clean: rm -rf _boot _build diff --git a/dune-workspace.dev b/dune-workspace.dev deleted file mode 100644 index fe034d49ebd..00000000000 --- a/dune-workspace.dev +++ /dev/null @@ -1,6 +0,0 @@ -(lang dune 1.0) - -;; This file is used by `make all-supported-ocaml-versions` -(context (opam (switch 4.08.1))) -(context (opam (switch 4.09.0))) -(context (opam (switch 4.10.0)))