Skip to content

Latest commit

 

History

History
35 lines (24 loc) · 887 Bytes

README.md

File metadata and controls

35 lines (24 loc) · 887 Bytes
Raw

Isabelle Build Manager

Installation

  1. If not done: Clone Isabelle, init repository (see README_REPOSITORY in isabelle)
  2. Clone this repository
  3. Initialize: isabelle components -u <this_repo_dir>

Submitting builds

In your ~/.isabelle/etc/preferences, set your ssh user to the Isabelle system (same user as for repository access): build_manager_ssh_user = "..." Then you can submit build tasks with isabelle build_task <...>, where <...> are (most of) the regular Isabelle build options, e.g.:

isabelle build_task -P HOL-Analysis

Development

Starting server:

isabelle build_manager

IDE Setup

To develop this project, install the component and then run isabelle scala_project, e.g.:

isabelle scala -M -L -D scala_project

Then import the resulting (maven or gradle) project structure from the scala_project dir with your IDE.