@@ -24,8 +24,8 @@ build:linux:
24
24
variables :
25
25
GIT_SUBMODULE_STRATEGY : recursive
26
26
GIT_STRATEGY : clone
27
- DISABLE_COPYRIGHT_FILES_DEPLOYMENT : ' 1 '
28
- DEBUG : ' 1 '
27
+ DISABLE_COPYRIGHT_FILES_DEPLOYMENT : " 1 "
28
+ DEBUG : " 1 "
29
29
script :
30
30
- mkdir -p build; cd build
31
31
- qmake -makefile "CONFIG+=bundled" "CXX_PREFIX=ccache" "DEFINES+=MINIZINC_IDE_BUILD=\\\\\\\"\"${CI_PIPELINE_ID}\\\\\\\"\"" PREFIX=/usr ../MiniZincIDE/MiniZincIDE.pro
@@ -216,7 +216,7 @@ package:linux:
216
216
- mv vendor/chuffed/bin/fzn-chuffed $PACKAGE/bin/
217
217
- cp -r vendor/chuffed/share/minizinc/* $PACKAGE/share/minizinc/
218
218
- mv vendor/or-tools/bin/fzn-cp-sat $PACKAGE/bin/
219
- - cp vendor/or-tools/lib64/*.so $PACKAGE/lib/
219
+ - cp -P vendor/or-tools/lib64/*.so* $PACKAGE/lib/
220
220
- cp -r vendor/or-tools/share/minizinc/* $PACKAGE/share/minizinc/
221
221
- cp vendor/highs/lib64/libhighs.so $PACKAGE/lib/
222
222
# ## Package Globalizer
@@ -389,7 +389,7 @@ package:appimage:
389
389
- cp -r vendor/chuffed/share/minizinc/* $PACKAGE/usr/share/minizinc/
390
390
- mv vendor/or-tools/bin/fzn-cp-sat $PACKAGE/usr/bin/
391
391
- cp -r vendor/or-tools/share/minizinc/* $PACKAGE/usr/share/minizinc/
392
- - cp vendor/or-tools/lib64/*.so $PACKAGE/usr/lib/
392
+ - cp -P vendor/or-tools/lib64/*.so* $PACKAGE/usr/lib/
393
393
- cp vendor/highs/lib64/libhighs.so $PACKAGE/usr/lib/
394
394
# ## Package Globalizer
395
395
- mv globalizer/bin/minizinc-globalizer $PACKAGE/usr/bin/
@@ -483,7 +483,7 @@ minizinc:linux:nogui:
483
483
- mv vendor/chuffed/bin/fzn-chuffed $PACKAGE/bin/
484
484
- cp -r vendor/chuffed/share/minizinc/* $PACKAGE/share/minizinc/
485
485
- mv vendor/or-tools/bin/fzn-cp-sat $PACKAGE/bin/
486
- - cp vendor/or-tools/lib64/*.so $PACKAGE/lib/
486
+ - cp -P vendor/or-tools/lib64/*.so* $PACKAGE/lib/
487
487
- cp -r vendor/or-tools/share/minizinc/* $PACKAGE/share/minizinc/
488
488
- cp vendor/highs/lib64/libhighs.so $PACKAGE/lib/
489
489
# ## Strip included binaries
0 commit comments