[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-bugs] [C-Reduce] build errors when using configure or cmake

​​​Hello,

I am currently trying to build the latest version (commit 862dc3b) of C-Reduce.
But I face some errors when I "make".

1) when using 'configure'

In the C-Reduce directory (after cloning from the Github repository),
chaekwonsoo@chaekwonsoo-910S5K:~/creduce_currdev$ ./configure CXX=clang++

------------------------------------------

checking build system type... x86_64-unknown-linux-gnu

checking host system type... x86_64-unknown-linux-gnu

checking target system type... x86_64-unknown-linux-gnu

checking for a BSD-compatible install... /usr/bin/install -c

checking whether build environment is sane... yes

checking for a thread-safe mkdir -p... /bin/mkdir -p

checking for gawk... gawk

checking whether make sets $(MAKE)... yes

checking whether make supports nested variables... yes

checking whether to enable maintainer-specific portions of Makefiles... no

checking for style of include used by make... GNU

checking for gcc... gcc

checking whether the C compiler works... yes

checking for C compiler default output file name... a.out

checking for suffix of executables...

checking whether we are cross compiling... no

checking for suffix of object files... o

checking whether we are using the GNU C compiler... yes

checking whether gcc accepts -g... yes

checking for gcc option to accept ISO C89... none needed

checking whether gcc understands -c and -o together... yes

checking dependency style of gcc... gcc3

checking whether we are using the GNU C++ compiler... yes

checking whether clang++ accepts -g... yes

checking dependency style of clang++... gcc3

checking how to print strings... printf

checking for a sed that does not truncate output... /bin/sed

checking for grep that handles long lines and -e... /bin/grep

checking for egrep... /bin/grep -E

checking for fgrep... /bin/grep -F

checking for ld used by gcc... /usr/bin/ld

checking if the linker (/usr/bin/ld) is GNU ld... yes

checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B

checking the name lister (/usr/bin/nm -B) interface... BSD nm

checking whether ln -s works... yes

checking the maximum length of command line arguments... 1572864

checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop

checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop

checking for /usr/bin/ld option to reload object files... -r

checking for objdump... objdump

checking how to recognize dependent libraries... pass_all

checking for dlltool... no

checking how to associate runtime and link libraries... printf %s\n

checking for ar... ar

checking for archiver @FILE support... @

checking for strip... strip

checking for ranlib... ranlib

checking command to parse /usr/bin/nm -B output from gcc object... ok

checking for sysroot... no

checking for a working dd... /bin/dd

checking how to truncate binary pipes... /bin/dd bs=4096 count=1

checking for mt... mt

checking if mt is a manifest tool... no

checking how to run the C preprocessor... gcc -E

checking for ANSI C header files... yes

checking for sys/types.h... yes

checking for sys/stat.h... yes

checking for stdlib.h... yes

checking for string.h... yes

checking for memory.h... yes

checking for strings.h... yes

checking for inttypes.h... yes

checking for stdint.h... yes

checking for unistd.h... yes

checking for dlfcn.h... yes

checking for objdir... .libs

checking if gcc supports -fno-rtti -fno-exceptions... no

checking for gcc option to produce PIC... -fPIC -DPIC

checking if gcc PIC flag -fPIC -DPIC works... yes

checking if gcc static flag -static works... yes

checking if gcc supports -c -o file.o... yes

checking if gcc supports -c -o file.o... (cached) yes

checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes

checking whether -lc should be explicitly linked in... no

checking dynamic linker characteristics... GNU/Linux ld.so

checking how to hardcode library paths into programs... immediate

checking whether stripping libraries is possible... yes

checking if libtool supports shared libraries... yes

checking whether to build shared libraries... yes

checking whether to build static libraries... yes

checking how to run the C++ preprocessor... clang++ -E

checking for ld used by clang++... /usr/bin/ld -m elf_x86_64

checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes

checking whether the clang++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes

checking for clang++ option to produce PIC... -fPIC -DPIC

checking if clang++ PIC flag -fPIC -DPIC works... yes

checking if clang++ static flag -static works... yes

checking if clang++ supports -c -o file.o... yes

checking if clang++ supports -c -o file.o... (cached) yes

checking whether the clang++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes

checking dynamic linker characteristics... (cached) GNU/Linux ld.so

checking how to hardcode library paths into programs... immediate

checking for llvm-config... /usr/local/bin/llvm-config

checking for LLVM version... 5.0.0svn-r308268

checking can compile with and link with LLVM(engine)... yes

checking for flex... flex

checking lex output file root... lex.yy

checking lex library... -lfl

checking whether yytext is a pointer... yes

checking for perl... /usr/bin/perl

checking for perl version... This is perl 5, version 18, subversion 2 (v5.18.2) built for x86_64-linux-gnu-thread-multi

checking for perl module Exporter::Lite... ok

checking for perl module File::Which... ok

checking for perl module Getopt::Tabular... ok

checking for perl module Regexp::Common... ok

checking for perl module Sys::CPU... ok

checking for perl module Term::ReadKey... ok

checking for clang-format... /usr/local/bin/clang-format

checking that generated files are newer than configure... done

configure: creating ./config.status

config.status: creating Makefile

config.status: creating clang_delta/Makefile

config.status: creating clex/Makefile

config.status: creating creduce/Makefile

config.status: creating delta/Makefile

config.status: creating scripts/Makefile

config.status: creating tests/Makefile

config.status: creating unifdef/Makefile

config.status: creating config.h

config.status: executing depfiles commands

config.status: executing libtool commands

-------------------------------------------

chaekwonsoo@chaekwonsoo-910S5K:~/creduce_currdev$ make
-------------------------------------------

make all-recursive

make[1]: Entering directory `/home/chaekwonsoo/creduce_currdev'

Making all in clang_delta

make[2]: Entering directory `/home/chaekwonsoo/creduce_currdev/clang_delta'

clang++ -DHAVE_CONFIG_H -I. -I.. -I"/usr/local/include/clang" -I/usr/local/include -fPIC -fvisibility-inlines-hidden -std=c++11 -fno-exceptions -fno-rtti -DLLVM_BUILD_GLOBAL_ISEL -D_GNU_SOURCE -D_DEBUG -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -fno-rtti -fno-exceptions -g -O3 -fno-strict-aliasing -Wall -Wextra -Wno-long-long -Wno-unused-parameter -Wno-missing-field-initializers -MT clang_delta-AggregateToScalar.o -MD -MP -MF .deps/clang_delta-AggregateToScalar.Tpo -c -o clang_delta-AggregateToScalar.o `test -f 'AggregateToScalar.cpp' || echo './'`AggregateToScalar.cpp

make[2]: *** [clang_delta-AggregateToScalar.o] segmentation fault (memory dump)

make[2]: Leaving directory `/home/chaekwonsoo/creduce_currdev/clang_delta'

make[1]: *** [all-recursive] Error 1

make[1]: Leaving directory `/home/chaekwonsoo/creduce_currdev'

make: *** [all] Error 2

-------------------------------------------

Like above, it prints some segmentation fault.



1) when using 'cmake'

In the C-Reduce directory (after cloning from the Github repository),

chaekwonsoo@chaekwonsoo-910S5K:~/creduce_currdev$ export CXX=~/my-clang-directory/bin/clang++
chaekwonsoo@chaekwonsoo-910S5K:~/creduce_currdev$ cmake .

---------------------------------------------
-- The C compiler identification is GNU 4.8.4
-- The CXX compiler identification is Clang 4.0.0
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /home/chaekwonsoo/clang+llvm-4.0.0-x86_64-linux-gnu-ubuntu-14.04/bin/clang++
-- Check for working CXX compiler: /home/chaekwonsoo/clang+llvm-4.0.0-x86_64-linux-gnu-ubuntu-14.04/bin/clang++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Found LLVM 5.0.0svn-r308268
-- Using LLVMConfig.cmake in /usr/local/lib/cmake/llvm
-- Using ClangConfig.cmake in /home/chaekwonsoo/clang+llvm-4.0.0-x86_64-linux-gnu-ubuntu-14.04/lib/cmake/clang
-- Found Perl: /usr/bin/perl (found version "5.18.2")
-- Found FLEX: /usr/bin/flex (found version "2.5.35")
-- Looking for dlfcn.h
-- Looking for dlfcn.h - found
-- Looking for inttypes.h
-- Looking for inttypes.h - found
-- Looking for memory.h
-- Looking for memory.h - found
-- Looking for stdint.h
-- Looking for stdint.h - found
-- Looking for stdlib.h
-- Looking for stdlib.h - found
-- Looking for strings.h
-- Looking for strings.h - found
-- Looking for string.h
-- Looking for string.h - found
-- Looking for sys/stat.h
-- Looking for sys/stat.h - found
-- Looking for sys/types.h
-- Looking for sys/types.h - found
-- Looking for unistd.h
-- Looking for unistd.h - found
-- Performing Test SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG
-- Performing Test SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG - Success
-- Configuring done
-- Generating done
-- Build files have been written to: /home/chaekwonsoo/creduce_currdev
---------------------------------------------

chaekwonsoo@chaekwonsoo-910S5K:~/creduce_currdev$ make
---------------------------------------------
.......

[ 52%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReplaceCallExpr.cpp.o

[ 53%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReplaceClassWithBaseTemplateSpec.cpp.o

[ 54%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReplaceDependentName.cpp.o

[ 55%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReplaceDependentTypedef.cpp.o

[ 56%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReplaceDerivedClass.cpp.o

[ 57%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReplaceFunctionDefWithDecl.cpp.o

[ 59%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReplaceOneLevelTypedefType.cpp.o

[ 60%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReplaceSimpleTypedef.cpp.o

[ 61%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReplaceUndefinedFunction.cpp.o

[ 62%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/ReturnVoid.cpp.o

[ 63%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/RewriteUtils.cpp.o

[ 64%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/SimpleInliner.cpp.o

[ 65%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/SimplifyCallExpr.cpp.o

[ 67%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/SimplifyCommaExpr.cpp.o

[ 68%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/SimplifyDependentTypedef.cpp.o

[ 69%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/SimplifyIf.cpp.o

[ 70%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/SimplifyNestedClass.cpp.o

[ 71%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/SimplifyRecursiveTemplateInstantiation.cpp.o

[ 72%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/SimplifyStruct.cpp.o

[ 73%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/SimplifyStructUnionDecl.cpp.o

[ 75%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/TemplateArgToInt.cpp.o

[ 76%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/TemplateNonTypeArgToInt.cpp.o

[ 77%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/Transformation.cpp.o

[ 78%] Building CXX object clang_delta/CMakeFiles/clang_delta.dir/TransformationManager.cpp.o

/home/chaekwonsoo/creduce_currdev/clang_delta/TransformationManager.cpp:104:14: error: use of undeclared identifier 'IK_C'

if ((IK == IK_C) || (IK == IK_PreprocessedC)) {

^

/home/chaekwonsoo/creduce_currdev/clang_delta/TransformationManager.cpp:104:30: error: use of undeclared identifier 'IK_PreprocessedC'

if ((IK == IK_C) || (IK == IK_PreprocessedC)) {

^

/home/chaekwonsoo/creduce_currdev/clang_delta/TransformationManager.cpp:105:62: error: use of undeclared identifier 'IK_C'

Invocation.setLangDefaults(ClangInstance->getLangOpts(), IK_C, T, PPOpts);

^

/home/chaekwonsoo/creduce_currdev/clang_delta/TransformationManager.cpp:107:19: error: use of undeclared identifier 'IK_CXX'

else if ((IK == IK_CXX) || (IK == IK_PreprocessedCXX)) {

^

/home/chaekwonsoo/creduce_currdev/clang_delta/TransformationManager.cpp:107:37: error: use of undeclared identifier 'IK_PreprocessedCXX'

else if ((IK == IK_CXX) || (IK == IK_PreprocessedCXX)) {

^

/home/chaekwonsoo/creduce_currdev/clang_delta/TransformationManager.cpp:111:62: error: use of undeclared identifier 'IK_CXX'

Invocation.setLangDefaults(ClangInstance->getLangOpts(), IK_CXX, T, PPOpts);

^

/home/chaekwonsoo/creduce_currdev/clang_delta/TransformationManager.cpp:113:17: error: use of undeclared identifier 'IK_OpenCL'

else if(IK == IK_OpenCL) {

^

/home/chaekwonsoo/creduce_currdev/clang_delta/TransformationManager.cpp:138:32: error: use of undeclared identifier 'IK_OpenCL'

IK_OpenCL, T, PPOpts);

^

8 errors generated.

make[2]: *** [clang_delta/CMakeFiles/clang_delta.dir/TransformationManager.cpp.o] Error 1

make[1]: *** [clang_delta/CMakeFiles/clang_delta.dir/all] Error 2

make: *** [all] Error 2

---------------------------------------------

This time, it complains about undefined identifiers (IK_C, IK_CXX, etc., which are declared in my-clang-directory/include/clang/Frontend/FrontendOptions.h).

My OS is Ubuntu 14.04 LTS.
I installed all the required packages, and used clang binaries from clang 4.0.0.
cmake version is 3.8.2.
C-Reduce is the latest version (github commit 862dc3b).


I couldn't find reports about these cases, and so I send you this email.
I am looking forward to your answer.

Thank you in advance.

Kwonsoo

--
Kwonsoo Chae
Master Student
Department of Computer Science and Engineering
College of Informatics
Korea University
Seoul, Korea