| ... | ... | @@ -3,7 +3,13 @@ |
|
|
|
----
|
|
|
|
|
|
|
|
# Docker Development Install
|
|
|
|
## Pre-requisites
|
|
|
|
* If you haven't acquired a Mosek license yet, see [Mosek Requirement](Install#common-requirements).
|
|
|
|
* If you haven't installed Docker yet, see [Docker](docker).
|
|
|
|
|
|
|
|
## Setting up the container
|
|
|
|
* Please follow the instructions in the [User Installation Guide](User-Installation#setting-up-a-container)on how to set up a docker container for PDT-SPACE on either Linux or Windows.
|
|
|
|
* Once you run the docker image, you can find the source code of PDT-SPACE under ``/src/pdt-space``. You can start developing in this directory. The build system is under ``/src/pdt-space/Build``.
|
|
|
|
|
|
|
|
# Native Development Install (Linux Only)
|
|
|
|
## Pre-requisites
|
| ... | ... | |
| ... | ... | |
