Skip to content

Instantly share code, notes, and snippets.

@ronin13
Created August 9, 2016 14:16
Show Gist options
  • Save ronin13/5bd675296326c3bfdff9e2e3dfc26a88 to your computer and use it in GitHub Desktop.
Save ronin13/5bd675296326c3bfdff9e2e3dfc26a88 to your computer and use it in GitHub Desktop.
opam switch
$ 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