diff options
author | Xiretza | 2021-07-16 21:52:29 +0200 |
---|---|---|
committer | Xiretza | 2021-07-16 21:52:29 +0200 |
commit | e361388c9c7d55dd22ea497ab40beaf2849f6aae (patch) | |
tree | 6bcaeb109e2f644bbca5590141992722392b59cf | |
parent | 56b6b2ed8378a3b9287b09d7526239ab9a3def94 (diff) | |
download | aur-e361388c9c7d55dd22ea497ab40beaf2849f6aae.tar.gz |
Build static libraries
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -28,7 +28,7 @@ build() # Build the Langkit_Support library, used by all Langkit-generated libraries. python manage.py build-langkit-support \ - --library-types=relocatable \ + --library-types=static,static-pic,relocatable \ --build-mode=prod \ --gargs="-R -cargs $ADA_FLAGS -largs $LDFLAGS -gargs" @@ -42,7 +42,7 @@ package() python setup.py install --root="$pkgdir" python manage.py install-langkit-support \ - --library-types=relocatable \ + --library-types=static,static-pic,relocatable \ --build-mode=prod \ "$pkgdir/usr" |