Plurimath support repository

Purpose

This repository is used to store scripts and configuration for the Git repositories belonging to Plurimath.

Contents

*.[sh|ps1|bat]

different scripts used during build as part of CI workflow

cimas-config/

configuration files for Cimas

Usage

Managing Cimas configuration (in cimas-config/)

The primary config file is cimas-config/cimas.yml.

Please see the Cimas configuration file format in Cimas' README.

Running Cimas to synchronize CI configuration

You have to first install Cimas using:

gem install cimas

These are the commands to run:

cd plurimath/support
export CIMAS_CONFIG=cimas-config/cimas.yml
export CIMAS_MASTER_DIR=cimas-config
export CIMAS_ROOT=~/src/plurimath

cimas setup -f $CIMAS_CONFIG -r $CIMAS_ROOT

cimas pull -f $CIMAS_CONFIG -r $CIMAS_ROOT \
  -g flavors,compiling

cimas sync -f $CIMAS_CONFIG -r $CIMAS_ROOT \
  -d $CIMAS_MASTER_DIR \
  -g flavors,compiling

cimas diff -f $CIMAS_CONFIG -r $CIMAS_ROOT -d $CIMAS_MASTER_DIR \
  -g flavors,compiling

cimas push -f $CIMAS_CONFIG -r $CIMAS_ROOT \
  -b cimas-initial-run -m 'Cimas initial run' \
  -g flavors,compiling

cimas open-prs -f $CIMAS_CONFIG -r $CIMAS_ROOT \
  -b cimas-initial-run -m 'Cimas initial run' \
  -g flavors,compiling