aboutsummaryrefslogtreecommitdiff
path: root/src/util/git-get-localdir.pl
blob: ed14b1798e766cffeb5733a3f11b59d157b92e8a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#! /usr/bin/perl -w

# Determine the local git repository directory

# 2011-11-13 Erik Schnetter <eschnetter@perimeterinstitute.ca>

use strict;



$#ARGV == 0 or die;
my ($git_cmd) = @ARGV;

my $CCTK_HOME = $ENV{'CCTK_HOME'};

# Path where the git-*.pl commands are installed
my $bindir = $ENV{'SCRATCH_BUILD'} . '/Formaline/bin';

my $silent = $ENV{'SILENT'};
$silent = 'yes' if ! defined $silent;
$silent = $silent !~ /^no$/i;
my $silencer = $silent ? '> /dev/null 2>&1' : '';



my $sourcebasedir = "${CCTK_HOME}/..";

# Define local git repo name
my $git_local_repo = "${sourcebasedir}/CactusSourceJar.git";

# Create local git repo if it does not exist
# (Don't print anything to stdout)
system "${bindir}/git-init-local-repo.pl '$git_cmd' '$git_local_repo' >&2";

# Output git repo name
print "CACTUS_LOCAL_GIT_REPO='${git_local_repo}'\n";