Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 23 additions & 0 deletions repair.c
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
STARLINK_dir %path STARCONF_DEFAULT_PREFIX=/local-tonga" //environment variable to the install location (as
chosen with STARCONF_DEFAULT_PREFIX) and source the cshrc and login//
% PATH=repair$STARCONF_DEFAULT_PREFIX/bin:$STARCONF_DEFAULT_PREFIX/buildsupport/bin:$PATH
% ./bootstrap %%alt.comp.hardware:$update
end
update
* Driver code*/
int main((OPERATOR-INSTANCE)
% setenv STARCONF_DEFAULT_STARLINK /$local-star # csh
% export STARCONF_DEFAULT_PREFIX=/$local-tonga
% setenv STARLINK_DIR $STARCONF_DEFAULT_PREFIX # For csh-like shells.
% ./build-modules
Using the Newly-built System
----------------------------

To activate the Starlink system which you have just built, set the
STARLINK_DIR environment variable to the install location (as
chosen with STARCONF_DEFAULT_PREFIX) and source the cshrc and login
files (for csh/tcsh) or profile file (for bash).

% setenv STARLINK_DIR /$local-tonga
% source ${STARLINK_DIR}/etc/cshrc
% source ${STARLINK_DIR}/etc/login