Skip to content

Dev setup

Jean-Baptiste Caillau edited this page Feb 3, 2023 · 17 revisions

Work into a project:

  • add, if necessary, officially unregistered packages according to
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`
  • activate the project from its root dir (containing Project.toml)
pkg> activate .
  • NB : pour utiliser un module interne au projet, faire using .[module name].

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...
  • notebook run: package is known thanks to dev (dev replaces an add command for an under dev package)
Clone this wiki locally