User Manual: pass --library-types to Langkit_Support build/install cmds

TN: T914-012
AdaCore · Nov 13, 2020 · 8bca9f3 · 8bca9f3
1 parent 436095b
commit 8bca9f3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/user_manual/building.rst b/user_manual/building.rst
@@ -38,11 +38,11 @@ following steps:
      $ pip install .
 
      # Build the "langkit_support.gpr" project
-     $ python manage.py build-langkit-support
+     $ python manage.py build-langkit-support --library-types=static,static-pic,relocatable
 
      # Install it. Replace $PREFIX below with the directory where you want to
      # install the langkit_support.gpr project.
-     $ python manage.py install-langkit-support $PREFIX
+     $ python manage.py install-langkit-support --library-types=static,static-pic,relocatable $PREFIX
 
 To develop comfortably: