README.md

Cloud IDE Tools

Tools to facilitate PP development on Cloud IDEs. Cloud IDEs that have been used are

• codenvy
• goorm

Any mention of these products should not be interpreted as an endorsement.

Makefiles

If you're using this to build projects with make Throw this (or something similar) into LocalUser.make at the project directory root.

  FNL_PARM =release=final
  APP_PARM =appendicize=on
  XSL_EXE = java -cp /projects/codenvy-tools/bld snac.XSLTransform
  DOXSL = $(XSL_EXE) $2 $1 $3 $4
  DOIT ?= $(XSL_EXE) $(2) $(1) - $(4) | python3 $(TRANS)/post-process.py -\=$(3) 
  JING_JAR=/projects/jing-20181222/bin/jing.jar

# Functions
A couple of bash functions were added:
* _git-clone_ - Clones a commoncriteria prject via SSH
* _update-transforms_ - Updates your project's transforms: Pulls transforms,  makes project, commits change with simple message, and initiates push.