Created
October 20, 2022 20:31
-
-
Save m-sedl/2ac2b9e168a2179e646c2bb04b441061 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| msedlyarskiy@my-dev ~/p/VSharp (master) [1]> sudo dotnet build --configuration Release | |
| Microsoft (R) Build Engine version 17.0.1+b177f8fa7 for .NET | |
| Copyright (C) Microsoft Corporation. All rights reserved. | |
| Determining projects to restore... | |
| All projects are up-to-date for restore. | |
| mkdir: cannot create directory ‘cmake-build-debug’: File exists | |
| Build type: Debug | |
| Logging enabled | |
| -- Configuring done | |
| -- Generating done | |
| -- Build files have been written to: /home/msedlyarskiy/projects/VSharp/VSharp.ClrInteraction/cmake-build-debug | |
| Scanning dependencies of target vsharpConcolic | |
| [ 8%] Building CXX object CMakeFiles/vsharpConcolic.dir/memory/memory.cpp.o | |
| VSharp.CSharpUtils -> /home/msedlyarskiy/projects/VSharp/VSharp.CSharpUtils/bin/Release/netcoreapp6.0/VSharp.CSharpUtils.dll | |
| VSharp.TestExtensions -> /home/msedlyarskiy/projects/VSharp/VSharp.TestExtensions/bin/Release/net6.0/VSharp.TestExtensions.dll | |
| VSharp.Utils -> /home/msedlyarskiy/projects/VSharp/VSharp.Utils/bin/Release/netcoreapp6.0/VSharp.Utils.dll | |
| VSharp.TestRunner -> /home/msedlyarskiy/projects/VSharp/VSharp.TestRunner/bin/Release/netcoreapp6.0/VSharp.TestRunner.dll | |
| VSharp.SILI.Core -> /home/msedlyarskiy/projects/VSharp/VSharp.SILI.Core/bin/Release/netcoreapp6.0/VSharp.SILI.Core.dll | |
| In file included from /home/msedlyarskiy/projects/VSharp/VSharp.ClrInteraction/memory/memory.cpp:3: | |
| In file included from /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/mutex:39: | |
| In file included from /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/chrono:43: | |
| VSharp.TestRenderer -> /home/msedlyarskiy/projects/VSharp/VSharp.TestRenderer/bin/Release/net6.0/VSharp.TestRenderer.dll | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(54,21): error G03C58441: expected unqualified-id [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| using __valid = true_type; | |
| ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(60,21): error G03C58441: expected unqualified-id [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| using __valid = true_type; | |
| ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(67,21): error G03C58441: expected unqualified-id [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| using __valid = true_type; | |
| ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(154,21): error G03C58441: expected unqualified-id [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| using __valid = false_type; | |
| ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(166,66): error G1BF458CF: expected an identifier or template-id after '::' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| using __valid_digit = typename _Digit<_Base, _Dig>::__valid; | |
| ~~~~~~~~~~~~~~~~~~~~~ ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(168,36): error GBB14FBA3: use of undeclared identifier '__valid_digit' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| = __ull_constant<__next::value * (__valid_digit{} ? _Base : 1ULL)>; | |
| ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(174,66): error G1BF458CF: expected an identifier or template-id after '::' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| using __valid_digit = typename _Digit<_Base, _Dig>::__valid; | |
| ~~~~~~~~~~~~~~~~~~~~~ ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(175,35): error GBB14FBA3: use of undeclared identifier '__valid_digit' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| using type = __ull_constant<__valid_digit::value>; | |
| ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(192,54): error G1BF458CF: expected an identifier or template-id after '::' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| using __valid_digit = typename __digit::__valid; | |
| ~~~~~~~~~ ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(194,7): error GBB14FBA3: use of undeclared identifier '__valid_digit' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| __valid_digit::value ? _Pow / _Base : _Pow, | |
| ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(196,59): error GBB14FBA3: use of undeclared identifier '__next' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| using type = __ull_constant<_Pow * __digit::value + __next::type::value>; | |
| ^ | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(197,22): error GBB14FBA3: use of undeclared identifier 'type' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| static_assert((type::value / _Pow) == __digit::value, | |
| ^ | |
| VSharp.InternalCalls -> /home/msedlyarskiy/projects/VSharp/VSharp.InternalCalls/bin/Release/netcoreapp6.0/VSharp.InternalCalls.dll | |
| 12 errors generated. | |
| gmake[3]: *** [CMakeFiles/vsharpConcolic.dir/build.make:166: CMakeFiles/vsharpConcolic.dir/memory/memory.cpp.o] Error 1 | |
| gmake[2]: *** [CMakeFiles/Makefile2:83: CMakeFiles/vsharpConcolic.dir/all] Error 2 | |
| gmake[1]: *** [CMakeFiles/Makefile2:90: CMakeFiles/vsharpConcolic.dir/rule] Error 2 | |
| gmake: *** [Makefile:124: vsharpConcolic] Error 2 | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: The command " | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: cd ../VSharp.ClrInteraction | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: mkdir cmake-build-debug | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: cd cmake-build-debug | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: export CC=/usr/bin/clang-15 | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: export CCX=/usr/bin/clang++-15 | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE=Debug ../ | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: cmake --build . --target vsharpConcolic -j 6" exited with code 2. | |
| VSharp.IL -> /home/msedlyarskiy/projects/VSharp/VSharp.IL/bin/Release/net6.0/VSharp.IL.dll | |
| VSharp.Solver -> /home/msedlyarskiy/projects/VSharp/VSharp.Solver/bin/Release/netcoreapp6.0/VSharp.Solver.dll | |
| Build FAILED. | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(54,21): error G03C58441: expected unqualified-id [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(60,21): error G03C58441: expected unqualified-id [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(67,21): error G03C58441: expected unqualified-id [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(154,21): error G03C58441: expected unqualified-id [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(166,66): error G1BF458CF: expected an identifier or template-id after '::' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(168,36): error GBB14FBA3: use of undeclared identifier '__valid_digit' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(174,66): error G1BF458CF: expected an identifier or template-id after '::' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(175,35): error GBB14FBA3: use of undeclared identifier '__valid_digit' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(192,54): error G1BF458CF: expected an identifier or template-id after '::' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(194,7): error GBB14FBA3: use of undeclared identifier '__valid_digit' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(196,59): error GBB14FBA3: use of undeclared identifier '__next' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/parse_numbers.h(197,22): error GBB14FBA3: use of undeclared identifier 'type' [/home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj] | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: The command " | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: cd ../VSharp.ClrInteraction | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: mkdir cmake-build-debug | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: cd cmake-build-debug | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: export CC=/usr/bin/clang-15 | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: export CCX=/usr/bin/clang++-15 | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE=Debug ../ | |
| /home/msedlyarskiy/projects/VSharp/VSharp.SILI/VSharp.SILI.fsproj(52,9): error MSB3073: cmake --build . --target vsharpConcolic -j 6" exited with code 2. | |
| 0 Warning(s) | |
| 13 Error(s) | |
| Time Elapsed 00:00:08.01 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment