chore: reservoir semver test

Author: tydeu

tests/lake/tests/online/test.sh

@@ -2,8 +2,6 @@
 source ../common.sh
 
 ./clean.sh
-echo "# TEST: Reservoir Version"
-test_out 'using version `0.1.0`' -f version.toml update --keep-toolchain
 
 export ELAN_TOOLCHAIN=test
 

tests/lake/tests/online/version.toml

@@ -0,0 +1 @@
+rm -rf .lake lake-manifest.json produced.out

tests/lake/tests/semver/clean.sh

@@ -0,0 +1,8 @@
+import Lake
+open System Lake DSL
+
+package test
+
+def depVer : String := get_config? depVer |>.getD ""
+
+require "Seasawher" / "mdgen" @ depVer

tests/lake/tests/semver/lakefile.lean

@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+source ../common.sh
+
+./clean.sh
+
+# Test an exact version
+test_out 'using version `2.0.0`' -R -KdepVer="=2.0.0" update --keep-toolchain
+
+# Test an approximate version
+test_out 'using version `2.1.0`' -R -KdepVer="2.*.*" update --keep-toolchain
+
+# Test a complex version
+test_out 'using version `2.0.0`' -R -KdepVer="1.*.* || 2.x.x, !=2.1.0" update --keep-toolchain
+
+# Test TOML versions
+test_out 'using version `2.1.0`' -R -f version.toml update --keep-toolchain
+

tests/lake/tests/semver/online-test.sh

@@ -0,0 +1,6 @@
+name = "test"
+
+[[require]]
+name = "mdgen"
+scope = "Seasawher"
+version = "~2"