Advise in how to make basilisk available for all users

[jose.lopez...@gmail.com]

Hi all,

I installed basilisk following the instructions without any problem. Since installation was done in my account sources and environment variables refers to
my account. For example, in my .bashrc  it can be read "export BASILISK=/home/jmlopez/basilisk/src".

Now I have convinced  more users to start to work with basilisk but they do not have available basilisk.  An obvious solution is that each user can install (and customize if wished) basilisk in their accounts. However I would like to keep the control of basilisk being the rest mere users.

I will appreciate any advise about what will be the best way to have it available for all users having just one installation.

Cheers

Jose

[Stephane Popinet]

Hi Jose,

A simple way is to install Basilisk somewhere generic on the machine,
for example /usr/local/basilisk. You then need to set the BASILISK
environment variable and add to the PATH in the /etc/profile file which
will set these variables automatically for all users (when they login).

Each user can then setup a basic Makefile i.e.

CFLAGS += -O2
include $(BASILISK)/Makefile.defs

in whatever directory they want to work in (somewhere in their home
directory obviously).

cheers

Stephane