Skip to content

Latest commit

 

History

History
35 lines (29 loc) · 599 Bytes

README.md

File metadata and controls

35 lines (29 loc) · 599 Bytes
Raw

A TPTP Editor

Prerequisites

  • Python 3.3 or higher
  • Pip
  • Java 8 or higher
  • Maven 3 or higher
  • GCC
  • Git

Installation

  1. Get the repository by invoking
  2. Ensure prerequisites are met and invoke
  3. Clone external repositories with build.py
python3 build.py clone
  1. Compile project with build.py
python3 build.py compile

Reinstallation

To clean up the compiled files use

python3 build.py clean_compile

whis will not remove the cloned directories in the build directory

To clean up the cloned external repositories use

python3 build.py clean_clone