Updated pick selection in example scripts

coq · Nov 15, 2023 · 5639657 · 5639657
1 parent 04bdf91
commit 5639657
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/example_coq_platform_make.sh b/example_coq_platform_make.sh
@@ -1,3 +1,3 @@
 # This is a test / example call for coq_platform_make.sh
 
-OPAMYES=0 ./coq_platform_make.sh -packages="8.18+beta1" -extent=x -parallel=p -jobs=8 -compcert=y -large=i -switch=k
+OPAMYES=0 ./coq_platform_make.sh -packages="8.18~2023.11" -extent=x -parallel=p -jobs=8 -compcert=y -large=i -switch=k
diff --git a/example_coq_platform_make_windows.bat b/example_coq_platform_make_windows.bat
@@ -8,7 +8,7 @@ CALL coq_platform_make_windows.bat ^
   -destcyg=C:\bin\cygwin64_coq_platform ^
   -cygcache=C:\bin\cygwin_cache ^
   -cygrepo=https://mirrors.kernel.org/sourceware/cygwin ^
-  -packages="8.17~2023.08" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i
+  -packages="8.18~2023.11" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i
 
 REM NOTE: You can also call coq_platform_make_windows.bat from a cygwin prompt
 REM (e.g. in case you use cygwin for GIT) but please remember to quote paths with
@@ -20,4 +20,4 @@ REM     -arch=64 \
 REM     -destcyg='C:\bin\cygwin64_coq_platform' \
 REM     -cygcache='C:\bin\cygwin_cache' \
 REM     -cygrepo=https://mirrors.kernel.org/sourceware/cygwin \
-REM     -packages="8.17~2023.08" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i
+REM     -packages="8.18~2023.11" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i
diff --git a/example_coq_platform_make_windows_32.bat b/example_coq_platform_make_windows_32.bat
@@ -7,7 +7,7 @@ CALL coq_platform_make_windows.bat ^
   -arch=32 ^
   -destcyg=C:\bin\cygwin32_coq_platform ^
   -cygcache=C:\bin\cygwin_cache ^
-  -packages="8.17~2023.08" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i
+  -packages="8.18~2023.11" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i
 
 REM NOTE: You can also call coq_platform_make_windows.bat from a cygwin prompt
 REM (e.g. in case you use cygwin for GIT) but please remember to quote paths with
@@ -18,4 +18,4 @@ REM   ./coq_platform_make_windows.bat \
 REM     -arch=32 \
 REM     -destcyg='C:\bin\cygwin64_coq_platform' \
 REM     -cygcache='C:\bin\cygwin_cache' \
-REM     -packages="8.17~2023.08" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i
+REM     -packages="8.18~2023.11" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i
diff --git a/linux/example_build_snap_lxd.sh b/linux/example_build_snap_lxd.sh
@@ -7,6 +7,6 @@
 #   sudo snap install lxd
 #   sudo lxd init --minimal
 
-linux/create_snapcraft_yaml.sh -packages="8.17~2023.08" -extent=b -parallel=p -jobs=4 -large=e -switch=k -set-switch=y
+linux/create_snapcraft_yaml.sh -packages="8.18~2023.11" -extent=b -parallel=p -jobs=4 -large=e -switch=k -set-switch=y
 SNAPCRAFT_BUILD_ENVIRONMENT=lxd snapcraft clean
 SNAPCRAFT_BUILD_ENVIRONMENT=lxd SNAPCRAFT_BUILD_ENVIRONMENT_CPU=6  SNAPCRAFT_BUILD_ENVIRONMENT_MEMORY=12G snapcraft snap