• Table of contents
• Tutorials
  • Tools
    • Add a new tool in PEM
    • Update an existing tool

Tutorials¶

Tools¶

Add a new tool in PEM¶

$ ./bin/pem create tool new_tool

tar gz tool :

monotone tool :

Update an existing tool¶

For a tar_gz based tool :

$ ./bin/pem update tool tool_name file.tgz

For example :

$ ./bin/pem update tool compiler_pro ~/gnatpro-17.0w-20160612-x86_64-linux-bin.tar.gz

For a tool under VCS :

$ ./bin/pem update tool tool_name