From 41f4b89f851da631a2a9b4b52029f0dcb5e8e133 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jeremie@dimino.org>
Date: Tue, 19 Jun 2018 16:25:26 +0100
Subject: [PATCH] Added tests for syntax versioning

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
---
 test/blackbox-tests/dune.inc                   | 10 ++++++++++
 .../test-cases/syntax-versioning/run.t         | 18 ++++++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 test/blackbox-tests/test-cases/syntax-versioning/run.t

diff --git a/test/blackbox-tests/dune.inc b/test/blackbox-tests/dune.inc
index 56414821..bfd2be5a 100644
--- a/test/blackbox-tests/dune.inc
+++ b/test/blackbox-tests/dune.inc
@@ -543,6 +543,14 @@
     test-cases/select
     (progn (run ${exe:cram.exe} -test run.t) (diff? run.t run.t.corrected))))))
 
+(alias
+ ((name syntax-versioning)
+  (deps ((package dune) (files_recursively_in test-cases/syntax-versioning)))
+  (action
+   (chdir
+    test-cases/syntax-versioning
+    (progn (run ${exe:cram.exe} -test run.t) (diff? run.t run.t.corrected))))))
+
 (alias
  ((name use-meta)
   (deps ((package dune) (files_recursively_in test-cases/use-meta)))
@@ -623,6 +631,7 @@
     (alias scope-bug)
     (alias scope-ppx-bug)
     (alias select)
+    (alias syntax-versioning)
     (alias use-meta)
     (alias utop)))))
 
@@ -682,6 +691,7 @@
     (alias scope-bug)
     (alias scope-ppx-bug)
     (alias select)
+    (alias syntax-versioning)
     (alias use-meta)))))
 
 (alias ((name runtest-disabled) (deps ((alias reason)))))
diff --git a/test/blackbox-tests/test-cases/syntax-versioning/run.t b/test/blackbox-tests/test-cases/syntax-versioning/run.t
new file mode 100644
index 00000000..dd296fe2
--- /dev/null
+++ b/test/blackbox-tests/test-cases/syntax-versioning/run.t
@@ -0,0 +1,18 @@
+  $ echo '(jbuild_version 1)' > dune
+  $ dune build
+  Info: creating file dune-project with this contents: (lang dune 1.0)
+  File "dune", line 1, characters 0-18:
+  Error: 'jbuild_version' was deleted in version 1.0 of the dune language
+  [1]
+  $ rm -f dune
+
+  $ echo '(jbuild_version 1)' > jbuild
+  $ dune build
+  $ rm -f jbuild
+
+  $ echo '(executable ((name x) (link_executables false)))' > dune
+  $ dune build
+  File "dune", line 1, characters 22-46:
+  Error: 'link_executables' was deleted in version 1.0 of the dune language
+  [1]
+  $ rm -f dune