Merge pull request #465 from MSoegtropIMC/2025.01-prep-10

2025.01 prep 10

Author: MSoegtropIMC

README.md

@@ -1,9 +1,3 @@
-# ATTENTION RELEASE IN PROGRESS
-
-**We are currently preparing a release, which has the effect that some links already refer to the new tag, even though this does not exist as yet.**
-
-**In case you experience dead links, please replace `2025.01.0` with `2024.10.0`.**
-
 # Overview
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language

macos/create_installer_macos.sh

@@ -68,8 +68,8 @@ pip3 show --files macpack
 
 command -v python3 &> /dev/null || ( echo "You don't have python3 - which is starnge because macOS supplies one" ; exit 1)
 command -v pip3 &> /dev/null || ( echo "You don't have pip3 - which is starnge because macOS supplies one" ; exit 1)
-command -v gfind &> /dev/null || ( echo "Please install gfind (eg. sudo port install findutils)" ; exit 1)
-command -v grealpath &> /dev/null || ( echo "Please install grealpath (eg. sudo port install coreutils)" ; exit 1)
+command -v gfind &> /dev/null || ( echo "Please install gfind (e.g. 'sudo port install findutils' or 'brew install findutils')" ; exit 1)
+command -v grealpath &> /dev/null || ( echo "Please install grealpath (eg. 'sudo port install coreutils' or 'brew install coreutils')" ; exit 1)
 
 # Determine the path to the macpack binary.
 # We filter these two lines from the output of 'pip3 show macpack --files'

maintainer_doc/release_process.md

@@ -150,8 +150,9 @@ GIT tag-versions: 8.6.0  8.7.0  8.8+beta1  8.8.0  8.9.0  8.10+beta1  8.10.0  8.1
 - create the ReadMe .md file, the package list .csv file and depedency graph .pdf file with
   **ATTENTION** this script is not compatible with zsh (porting is in progress but complicated - maybe better move to python)!
   `brew install bash`
-  `ls /opt/homebrew/Cellar/bash/`
-  `/opt/homebrew/Cellar/bash/5.2.37/bin/bash maintainer_scripts/create_readme.sh -pick=8.20~2025.01 -depgraph`
+  `ln -s /opt/homebrew/bin/bash /usr/local/bin`
+  `hash -r`
+  `maintainer_scripts/create_readme.sh -pick=8.20~2025.01 -depgraph`
 
 ### Optional: recreate documentation for all picks
 
@@ -178,6 +179,24 @@ GIT tag-versions: 8.6.0  8.7.0  8.8+beta1  8.8.0  8.9.0  8.10+beta1  8.10.0  8.1
 - create the smoke test kit by running `shell_scripts/create_smoke_test_kit.sh`
 - run the smoke test kit by running `smoke-test-kit/run-smoke-test.sh`
 - create the installer by running `macos/create_installer_macos.sh`
+  - **ATTENTION** this script requires a modern bash, so you might need
+  ```
+  `brew install bash`
+  `ln -s /opt/homebrew/bin/bash /usr/local/bin`
+  `hash -r`
+  ```
+- locally test the installer
+  - it should be possible to install the DMG to Aplications in the normal way
+  - usually no executable does run then, even from the console
+  - run these commands to run at least coqc and vscoqtop:
+    ```
+    cd /Applications/Coq-Platform~8.20~2025.01.app/Contents/Resources/bin
+    codesign --sign - --force --preserve-metadata=entitlements,requirements,flags,runtime coqc
+    codesign --sign - --force --preserve-metadata=entitlements,requirements,flags,runtime vscoqtop
+    codesign --sign - --force --preserve-metadata=entitlements,requirements,flags,runtime ../lib/dylib/libgmp.10.dylib
+    ```
+    use `otool -L <binary>` to list additional shared libraries used by an executable - for coqc & Co it is just libgmp
+
 - upload the installer as attachment to the github draft release create above
 - possibly repeat the complete process for additional variant installers
 - have INRIA sign the installer(s)  (ask Romain Tetely or the current release manager)
@@ -221,7 +240,7 @@ Note: coqc can also be used from an unsigned installer!
 
 ### Tag
 
-- git tag 2025.01.0 -a -m "Release 2025.01.0 with latest pick 8.19~2024.10"
+- git tag 2025.01.0 -a -m "Release 2025.01.0 with latest pick 8.20~2025.01"
 - git push --tags
 
 ### Remove the "ATTENTION RELEASE IN PROGRESS" note from ReadMe.md