Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Print some versions to check coq is installed #12

Draft
wants to merge 30 commits into
base: macos
Choose a base branch
from
Draft
Changes from 1 commit
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
d7fb4df
Print some versions to check coq is installed
davidot Oct 25, 2022
2dca380
Run on all branches
davidot Oct 25, 2022
6c07c98
Fix syntax error
davidot Oct 25, 2022
6a15d77
Check /usr/local/Cellar
M-J-V Oct 25, 2022
25d0c9c
Use the opam env after installing
davidot Oct 25, 2022
ec379fe
use opem env after installing
M-J-V Oct 25, 2022
8787084
Active env in the right step
davidot Oct 25, 2022
76c994f
Use the env even more
davidot Oct 25, 2022
6803dad
Print out what we have installed
davidot Oct 25, 2022
a5819f9
Test Installer with Waterproof Static dir
M-J-V Oct 25, 2022
f96091c
Test Installer with Waterproof Static dir (single /)
M-J-V Oct 26, 2022
0537d59
Test Installer with Waterproof Static dir (Full dir)
M-J-V Oct 26, 2022
ac97c85
Test Installer with Waterproof Static dir (single / + full dir)
M-J-V Oct 26, 2022
07455d8
Update coq 8.15 cache with Waterproof
M-J-V Oct 26, 2022
dec8cf8
Add 'add_folder_recursivley' to more appropriate line
M-J-V Oct 26, 2022
17b6148
add_folder_recursivley more appropriate line, waterproof from script
M-J-V Oct 26, 2022
f7c705a
Build Installer for coq 8.14
M-J-V Oct 26, 2022
99582c1
Check opam coq version
M-J-V Oct 26, 2022
8265bee
Check opam package versions
M-J-V Oct 26, 2022
5c93820
Remove unecessary installs
M-J-V Oct 26, 2022
626a703
Opma install correct versions
M-J-V Oct 26, 2022
e5eece2
Opam install correct versions
M-J-V Oct 26, 2022
0e9c7a9
Rerun Dependencies coq8.15
M-J-V Nov 1, 2022
e11e936
Don't use the new macos image just yet
davidot Nov 1, 2022
dfe846d
Create Installer for Mac-10.15
M-J-V Nov 2, 2022
846bd67
Change Waterproof dir in installer
M-J-V Nov 3, 2022
c90fa03
Use newer mac version again
davidot Nov 3, 2022
3e5b901
Change name
davidot Nov 10, 2022
f25cac7
Remove old 8.14 workflows
davidot Nov 10, 2022
2a61619
Run test
M-J-V Nov 10, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion install_packages_macos.sh
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ grep -v '^#' $config_file | while read -r line ; do

# Inject install code into installer script
# Only testing that add_folder_recursively works, update later
sed -i '/^source "${HERE}".*/a add_folder_recursively "lib/coq/user-contrib/" "Waterproof" ' ../platform/macos/create_installer_macos.sh
davidot marked this conversation as resolved.
Show resolved Hide resolved
sed -i '/^source "${HERE}".*/a add_folder_recursively "~/.opam/coq_for_waterproof/lib/coq/user-contrib/" "Waterproof" ' ../platform/macos/create_installer_macos.sh
elif [[ $line =~ ^OPAM* ]] ; then
opam install -y $package_name
fi
Expand Down