diff options
author | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2012-10-08 19:34:30 +0000 |
---|---|---|
committer | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2012-10-08 19:34:30 +0000 |
commit | 74fe68417635a2d4430de6284304f4c9af677684 (patch) | |
tree | c96c01b51fdb3be1292d8ec135c16fe75b494ba3 | |
parent | 0c15decc00f3f340de7fe711ca610d65de4e48e2 (diff) |
Don't use Simfactory from Formaline
git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@225 83718e91-0e4f-0410-abf4-91180603181f
-rwxr-xr-x | src/util/git-get-localdir.pl | 27 |
1 files changed, 2 insertions, 25 deletions
diff --git a/src/util/git-get-localdir.pl b/src/util/git-get-localdir.pl index b16405d..ed14b17 100755 --- a/src/util/git-get-localdir.pl +++ b/src/util/git-get-localdir.pl @@ -22,31 +22,8 @@ $silent = $silent !~ /^no$/i; my $silencer = $silent ? '> /dev/null 2>&1' : ''; -# Abort gracefully if simfactory is not found -if (not -x "${CCTK_HOME}/simfactory/bin/sim") { - warn "Could not find simfactory in '${CCTK_HOME}/simfactory/bin/sim'. Local git repository will not be used."; -} - -# Obtain local machine name -my $machine = `cd ${CCTK_HOME} && ${CCTK_HOME}/simfactory/bin/sim whoami`; -chomp $machine; -$machine =~ s{Current machine:\s*(.*)}{$1}; -exit 0 if $machine eq ''; - -# Obtain sourcebasedir -my @mdb=`cd ${CCTK_HOME} && ${CCTK_HOME}/simfactory/bin/sim print-mdb "${machine}"`; -@mdb = grep m{^\s*sourcebasedir\s*=}, @mdb; -exit 1 if @mdb != 1; -my $sourcebasedir = $mdb[0]; -$sourcebasedir =~ s{^[^=]*=\s*(.*)}{$1}; -chomp $sourcebasedir; -exit 0 if $sourcebasedir eq ''; - -# Replace variables -if ($ENV{'USER'}) { - my $USER = $ENV{'USER'}; - $sourcebasedir =~ s{\@USER\@}{${USER}}g; -} + +my $sourcebasedir = "${CCTK_HOME}/.."; # Define local git repo name my $git_local_repo = "${sourcebasedir}/CactusSourceJar.git"; |