Rana wanted the latest GDS installed (for newest DTT), so I made an ubuntu 12 install directory into which I installed
I installed this stuff in
which is the "official" location for stuff compiled specifically for ubuntu12.
Given that the workstations are diverging in OS (some ubuntu10, some ubuntu12), we're going to have to start supporting different software packages for the different versions, thus the new ubuntu12 directory. This will be a pain in the butt, and will certainly lead to different versions of things for different machines, different features, etc. We should really try to keep things at the same OS.
In any event, if you want to enable the GDS on an ubuntu 12 machine, source the ubuntu12 ligoapps-user-env.sh file:
controls@ottavia|~ > . /ligo/apps/ubuntu12/ligoapps-user-env.sh