Created
August 9, 2016 14:16
-
-
Save ronin13/5bd675296326c3bfdff9e2e3dfc26a88 to your computer and use it in GitHub Desktop.
opam switch
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ opam switch show | |
| system | |
| $ opam config var switch | |
| system | |
| $ opam config var compiler | |
| system | |
| $ opam switch install -j 8 test-infer-4.02.3 --alias-of system | |
| =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= | |
| =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= | |
| ∗ installed base-bigarray.base | |
| ∗ installed base-threads.base | |
| ∗ installed base-unix.base | |
| Done. | |
| # To setup the new switch in the current shell, you need to run: | |
| eval `opam config env` | |
| $ eval `opam config env` | |
| $ opam switch show | |
| test-infer-4.02.3 | |
| $ pwd | |
| /home/rprabhu/.opam | |
| $ ls -l system | |
| total 36 | |
| drwxr-xr-x 2 rprabhu rprabhu 6 Aug 5 23:30 backup | |
| drwxr-xr-x 2 rprabhu rprabhu 4096 Aug 5 18:52 bin | |
| drwxr-xr-x 2 rprabhu rprabhu 6 Aug 5 18:52 build | |
| drwxr-xr-x 2 rprabhu rprabhu 34 Aug 5 18:08 config | |
| drwxr-xr-x 40 rprabhu rprabhu 4096 Aug 5 18:52 doc | |
| drwxr-xr-x 40 rprabhu rprabhu 4096 Aug 5 18:52 etc | |
| drwxr-xr-x 2 rprabhu rprabhu 4096 Aug 5 18:52 install | |
| -rw-r--r-- 1 rprabhu rprabhu 558 Aug 5 18:52 installed | |
| -rw-r--r-- 1 rprabhu rprabhu 52 Aug 5 18:52 installed.roots | |
| drwxr-xr-x 60 rprabhu rprabhu 4096 Aug 5 18:52 lib | |
| drwxr-xr-x 12 rprabhu rprabhu 128 Aug 5 18:51 man | |
| drwxr-xr-x 5 rprabhu rprabhu 55 Aug 5 23:30 overlay | |
| drwxr-xr-x 5 rprabhu rprabhu 55 Aug 5 23:30 packages.dev | |
| -rw-r--r-- 1 rprabhu rprabhu 204 Aug 5 23:30 pinned | |
| drwxr-xr-x 2 rprabhu rprabhu 6 Aug 5 18:08 sbin | |
| drwxr-xr-x 41 rprabhu rprabhu 4096 Aug 5 18:52 share | |
| $ ls -l test-infer-4.02.3/ | |
| total 8 | |
| drwxr-xr-x 2 rprabhu rprabhu 6 Aug 9 15:12 bin | |
| drwxr-xr-x 2 rprabhu rprabhu 6 Aug 9 15:12 build | |
| drwxr-xr-x 2 rprabhu rprabhu 34 Aug 9 15:12 config | |
| drwxr-xr-x 5 rprabhu rprabhu 64 Aug 9 15:12 doc | |
| drwxr-xr-x 5 rprabhu rprabhu 64 Aug 9 15:12 etc | |
| drwxr-xr-x 2 rprabhu rprabhu 88 Aug 9 15:12 install | |
| -rw-r--r-- 1 rprabhu rprabhu 52 Aug 9 15:12 installed | |
| -rw-r--r-- 1 rprabhu rprabhu 52 Aug 9 15:12 installed.roots | |
| drwxr-xr-x 7 rprabhu rprabhu 96 Aug 9 15:12 lib | |
| drwxr-xr-x 11 rprabhu rprabhu 115 Aug 9 15:12 man | |
| -rw-r--r-- 1 rprabhu rprabhu 0 Aug 9 15:12 reinstall | |
| drwxr-xr-x 2 rprabhu rprabhu 6 Aug 9 15:12 sbin | |
| drwxr-xr-x 5 rprabhu rprabhu 64 Aug 9 15:12 share | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment