Skip to content

Commit c605ff6

Browse files
committed
Fix libm.so bug for Ubuntu 20.
1 parent d36d2e6 commit c605ff6

File tree

3 files changed

+8
-9
lines changed

3 files changed

+8
-9
lines changed

.github/workflows/publish-utbot.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ name: Publish UTBot as an archive
22

33
on:
44
push:
5-
# branches: [main]
5+
branches: [main]
66

77
jobs:
88
publish:

docker/action-scripts/build-and-unit-tests.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@
44
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
55
#
66

7+
source docker/building_dependencies/runtime_env.sh
78
chmod +x docker/action-scripts/build-utbot.sh
89
./docker/action-scripts/build-utbot.sh
910
cd server/build

docker/release_distribution_scripts/utbot_run_system.sh

Lines changed: 6 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -54,20 +54,18 @@ if [ -z "$IS_SUSE" ]
5454
then
5555
# If the system is not suse, use debian packages
5656
move-libc-dev debian-libc-dev-install
57-
X86_LIBS=lib/x86_64-linux-gnu
57+
export X86_LIBS=lib/x86_64-linux-gnu
5858
else
5959
# If the system is suse, use rpm packages
6060
move-libc-dev suse-libc-dev-install
61-
X86_LIBS=lib64
62-
63-
# Updating libm.so so that it contains valid path to libmvec_nonshared.a
64-
echo "/* GNU ld script
65-
*/
61+
export X86_LIBS=lib64
62+
fi
63+
# Updating libm.so so that it contains valid path to libmvec_nonshared.a
64+
echo "/* GNU ld script */
6665
OUTPUT_FORMAT(elf64-x86-64)
6766
GROUP ( /$X86_LIBS/libm.so.6 AS_NEEDED ( $UTBOT_ALL/debs-install/usr/$X86_LIBS/libmvec_nonshared.a /$X86_LIBS/libmvec.so.1 ) )" > $UTBOT_ALL/debs-install/usr/$X86_LIBS/libm.so
6867

69-
export LDFLAGS="$LDFLAGS -L$UTBOT_ALL/debs-install/usr/lib64/ -B $UTBOT_ALL/debs-install/usr/lib64/ -L /lib64/ -B /lib64/"
70-
fi
68+
export LDFLAGS="$LDFLAGS -L$UTBOT_ALL/debs-install/usr/lib64/ -B $UTBOT_ALL/debs-install/usr/lib64/ -L /lib64/ -B /lib64/"
7169

7270
# Updating libc.so so that it contains valid path to libc_nonshared.a
7371
echo "/* GNU ld script

0 commit comments

Comments
 (0)