Dev setup

Jump to bottom

Jean-Baptiste Caillau edited this page Jan 30, 2023 · 18 revisions

Set up julia environment for dev:

add local registry in the package REPL

pkg> registry add https://github.com/control-toolbox/ct-registry.git
     Cloning registry from "https://github.com/control-toolbox/ct-registry.git"
       Added registry `ct-registry` to `~/.julia/registries/ct-registry`

add resource for dev

pkg> dev /home/user/OptimalControl.jl
   Resolving package versions...