diff options
| author | Rutger Broekhoff | 2025-11-27 23:35:08 +0100 |
|---|---|---|
| committer | Rutger Broekhoff | 2025-11-27 23:35:08 +0100 |
| commit | 46169ec3eb38e177cafd7faf6338d36c6a9e3971 (patch) | |
| tree | ff4147b884c2f5533d5a7bae3f1211af43dc14a4 /mkswitch.sh | |
| parent | 80e1f41596ca9955b432addbf01b913d864aa7c0 (diff) | |
| download | rdcapsis-46169ec3eb38e177cafd7faf6338d36c6a9e3971.tar.gz rdcapsis-46169ec3eb38e177cafd7faf6338d36c6a9e3971.zip | |
Whatever all of this isocaml
Diffstat (limited to 'mkswitch.sh')
| -rwxr-xr-x | mkswitch.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mkswitch.sh b/mkswitch.sh new file mode 100755 index 0000000..5f53bb6 --- /dev/null +++ b/mkswitch.sh | |||
| @@ -0,0 +1,4 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | |||
| 3 | opam update --all | ||
| 4 | opam switch create ./ --repositories default --deps-only | ||