Skip to content

Commit 58cd8ce

Browse files
Vladislav Kaluginladisgin
authored andcommitted
Clean files, add --version to CLI, add endlines
1 parent 2426223 commit 58cd8ce

File tree

731 files changed

+532
-3441
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

731 files changed

+532
-3441
lines changed

build.sh

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,4 @@
11
#!/bin/bash
2-
#
3-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
4-
#
5-
62
set -e
73
set -o pipefail
84
pwd=$PWD

docker/Dockerfile_base

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,10 @@
1-
#
2-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
3-
#
4-
51
# This is a base dockerfile for UTBot. It's image can be used as a development environment and as a first step in building UTBot, it's release build and integration tests.
62
# This dockerfile installs grpc, cmake, llvm, uclibc, z3. Also it installs such packages as ssh, git, openssh-server, nodejs, python and others.
73
# You need to build this dockerfile inside UnitTestBot/UTBotCpp/docker directory.
84

95
ARG OPERATING_SYSTEM_TAG
106
FROM ubuntu:$OPERATING_SYSTEM_TAG as base_env
11-
LABEL maintainer="Huawei UTBot cloud team"
7+
LABEL maintainer="UnitTestBot"
128
SHELL ["/bin/bash", "--login", "-c"]
139

1410
ENV UTBOT_ALL=/utbot_distr
Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,5 @@
11
#!/bin/bash
22

3-
#
4-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
5-
#
6-
73
source docker/building_dependencies/runtime_env.sh
84
chmod +x build.sh
95
./build.sh

docker/action-scripts/build-vsix.sh

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,5 @@
11
#!/bin/bash
22

3-
#
4-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
5-
#
6-
73
source docker/building_dependencies/runtime_env.sh
84
cd vscode-plugin
95
echo $VERSION

docker/action-scripts/integration-tests.sh

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,5 @@
11
#!/bin/bash
22

3-
#
4-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
5-
#
6-
73
source docker/building_dependencies/runtime_env.sh
84
cd vscode-plugin
95

docker/action-scripts/unit-tests.sh

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,5 @@
11
#!/bin/bash
22

3-
#
4-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
5-
#
6-
73
source docker/building_dependencies/runtime_env.sh
84
cd server/build
95
chmod +x UTBot_UnitTests

docker/building_dependencies/clean_release.sh

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
#
2-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
3-
#
4-
51
# This script clears out all the unnecessary files from the release build
62

73
# Need just clang-10, llvm-cov, llvm-profdata and cmake in $UTBOT_INSTALL_DIR/bin
@@ -38,4 +34,4 @@ rm -rf $UTBOT_ALL/node_modules
3834
# dpkg should remain because it is useful for apt update
3935
mv $UTBOT_ALL/debs-install/usr/share/dpkg ~ && rm -rf $UTBOT_ALL/debs-install/usr/share && mv ~/dpkg $UTBOT_ALL/debs-install/usr/share
4036

41-
rm -rf $UTBOT_INSTALL_DIR/include
37+
rm -rf $UTBOT_INSTALL_DIR/include

docker/building_dependencies/install_packages/debian.sh

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
#
2-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
3-
#
4-
51
# This script downloads debian packages.
62
# It installs libc6-dev package (which is dev version of libc) into $UTBOT_ALL/debian-libc-dev-install and other packages into $UTBOT_ALL/debs-install
73

docker/building_dependencies/patches/lit.py

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
11
#!/usr/bin/python3
22
# -*- coding: utf-8 -*-
3-
4-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
5-
63
import os
74
import re
85
import sys
@@ -54,4 +51,4 @@ def execute(self, test, litConfig):
5451
if __name__ == '__main__':
5552
GoogleTest.execute = execute
5653
sys.argv[0] = re.sub(r'(-script\.pyw|\.exe)?$', '', sys.argv[0])
57-
sys.exit(main())
54+
sys.exit(main())

docker/building_dependencies/runtime_env.sh

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
#
2-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
3-
#
4-
51
# This script is used to set environment variables inside developer environment
62

73
# Common env

0 commit comments

Comments
 (0)