mcdc-builder/build-mcdc-dane.sh at main · mcdc-project/mcdc-builder · GitHub

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
#!/bin/bash -x
cd

# =============================================================================
# Setups
# =============================================================================

# MC/DC branch
MCDC_BRANCH="main"

# Name for the virtual environment
VENV_NAME="mcdc"

# Python versions
PYTHON_VERSION="3.13.2"

# Paths
WORKSPACE="$HOME"
VENV_PATH="$WORKSPACE/venv/dane/$VENV_NAME"
MCDC_DIR="$WORKSPACE/MCDC"

# =============================================================================
# Preparation
# =============================================================================

# Set modules
module restore system
module load "python/$PYTHON_VERSION"
module load mvapich2/2.3.7
module load mvapich2-tce/2.3.7

# =============================================================================
# Create Python environment
# =============================================================================

# Remove any pre-existing instance of the environment
rm -rf "$VENV_PATH"

# Create the environment
"/usr/tce/packages/python/python-$PYTHON_VERSION/bin/virtualenv" "$VENV_PATH"

# Activate the venv
source "$VENV_PATH/bin/activate"

# Make sure we are working with a recent version of pip and setuptools
pip install --upgrade pip
pip install --upgrade setuptools

# =============================================================================
# Install MC/DC
# =============================================================================

# MC/DC
cd "$MCDC_DIR"
git checkout "$MCDC_BRANCH"
pip install -e .[dev]