MacOS installer: add coq-env.sh file

Author: MSoegtropIMC

macos/coq-env.sh.template

@@ -0,0 +1,7 @@
+#!/bin/bash
+
+if [ -f "/Applications/Coq-Platform@@VERSION@@.app/Contents/Resources/bin/coqc" ]
+then
+  echo "export PATH='/Applications/Coq-Platform@@VERSION@@.app/Contents/Resources/bin':"'"$PATH"'
+  echo "export COQLIB='/Applications/Coq-Platform@@VERSION@@.app/Contents/Resources/lib/coq'"
+fi

macos/create_installer_macos.sh

@@ -400,6 +400,11 @@ ln -sf /Applications _dmg/Applications
 sed "s/@@VERSION@@/${COQ_PLATFORM_PACKAGE_PICK_POSTFIX}/" ../macos/coq-shell.command.template > _dmg/coq-shell${COQ_PLATFORM_PACKAGE_PICK_POSTFIX}.command
 chmod u+x _dmg/coq-shell${COQ_PLATFORM_PACKAGE_PICK_POSTFIX}.command
 
+##### coq-env.sh #####
+
+sed "s/@@VERSION@@/${COQ_PLATFORM_PACKAGE_PICK_POSTFIX}/" ../macos/coq-env.sh.template > ${BIN_ABSDIR}/coq-env.sh
+chmod u+x ${BIN_ABSDIR}/coq-env.sh
+
 ##### Installation.html #####
 
 sed "s/@@VERSION@@/${COQ_PLATFORM_PACKAGE_PICK_POSTFIX}/" ../macos/Installation.html.template > _dmg/Installation.html