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
http://prl.korea.ac.kr/~kwonsoo
