Pick 8.18[~mc2]~2023.11: dsiable coq-metacoq on 32 bit platforms

coq · Dec 8, 2023 · f1fcd66 · f1fcd66
1 parent 4a2740b
commit f1fcd66
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/package_picks/package-pick-8.18~2023.11.sh b/package_picks/package-pick-8.18~2023.11.sh
@@ -182,7 +182,10 @@ then
 
   # Proof automation / generation / helpers
   PACKAGES="${PACKAGES} coq-deriving.0.1.1"
-  PACKAGES="${PACKAGES} coq-metacoq.1.2.1+8.18"
+  if [ "${BITSIZE}" == "64" ]
+  then
+    PACKAGES="${PACKAGES} coq-metacoq.1.2.1+8.18"
+  fi
 
   # General mathematics
   PACKAGES="${PACKAGES} coq-extructures.0.3.1"

diff --git a/package_picks/package-pick-8.18~mc2~2023.11.sh b/package_picks/package-pick-8.18~mc2~2023.11.sh
@@ -182,7 +182,10 @@ then
 
   # Proof automation / generation / helpers
   PACKAGES="${PACKAGES} coq-deriving.0.2.0"
-  PACKAGES="${PACKAGES} coq-metacoq.1.2.1+8.18"
+  if [ "${BITSIZE}" == "64" ]
+  then
+    PACKAGES="${PACKAGES} coq-metacoq.1.2.1+8.18"
+  fi
 
   # General mathematics
   PACKAGES="${PACKAGES} coq-extructures.0.4.0"