Automatically download 1.0.0 of JSpecify instead of 0.3.0. (#191)

Also, bump `maven-dependency-plugin` while in the neighborhood.
jspecify · Jul 22, 2024 · db89327 · db89327
1 parent 1c43426
commit db89327
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/demo b/demo
@@ -6,11 +6,11 @@
 dir=$(dirname $0)
 jspecify="${dir}/../jspecify/build/libs/jspecify-0.0.0-SNAPSHOT.jar"
 if [ ! -e "${jspecify}" ]; then
-  version=0.3.0
+  version=1.0.0
   jspecify="${dir}/build/jspecify-${version}.jar"
   if [ ! -e "${jspecify}" ]; then
     echo "Downloading $(basename "${jspecify}") from Maven central"
-    mvn -q org.apache.maven.plugins:maven-dependency-plugin:3.6.1:copy \
+    mvn -q org.apache.maven.plugins:maven-dependency-plugin:3.7.1:copy \
       -Dartifact="org.jspecify:jspecify:${version}" \
       -DoutputDirectory="$(dirname "${jspecify}")"
   fi