[Cryptominisat-devel] Warning message when compiling

Robert Aston rob.aston at rogers.com
Lun 3 Jan 13:37:49 CET 2011


Hi Mate,
    For a white not I've been getting a warning message during the
"make" phase when building Cryptominisat.  The compiler completes and
Cryptominisat runs fine, but the warning is generated.  I'm building it
on an up to date Fedora 14 machine.  You may wish to use "mkstemp"
rather than "mktemp" in function sem_open.   The following are the
messages generated:


build]$ cmake ../
-- The C compiler identification is GNU
-- The CXX compiler identification is GNU
-- Check for working C compiler: /usr/lib64/ccache/gcc
-- Check for working C compiler: /usr/lib64/ccache/gcc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working CXX compiler: /usr/lib64/ccache/c++
-- Check for working CXX compiler: /usr/lib64/ccache/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Found ZLIB: /usr/include
-- Try OpenMP C flag = [-fopenmp]
-- Performing Test OpenMP_FLAG_DETECTED
-- Performing Test OpenMP_FLAG_DETECTED - Success
-- Try OpenMP CXX flag = [-fopenmp]
-- Performing Test OpenMP_FLAG_DETECTED
-- Performing Test OpenMP_FLAG_DETECTED - Success
-- Found OpenMP: -fopenmp
-- Configuring done
-- Generating done
-- Build files have been written to:
/home/cryptominisat-master.jan2-2011/build
[build]$ make
Scanning dependencies of target cryptominisat
[  3%] Building CXX object Solver/CMakeFiles/cryptominisat.dir/Main.cpp.o
[  6%] Building CXX object Solver/CMakeFiles/cryptominisat.dir/Logger.cpp.o
[ 10%] Building CXX object Solver/CMakeFiles/cryptominisat.dir/Solver.cpp.o
[ 13%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/SolverDebug.cpp.o
[ 16%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/SolverMisc.cpp.o
[ 20%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/Gaussian.cpp.o
[ 23%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/PackedRow.cpp.o
[ 26%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/XorFinder.cpp.o
[ 30%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/MatrixFinder.cpp.o
[ 33%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/VarReplacer.cpp.o
[ 36%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/ClauseCleaner.cpp.o
[ 40%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/RestartTypeChooser.cpp.o
[ 43%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/FailedLitSearcher.cpp.o
[ 46%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/PartFinder.cpp.o
[ 50%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/Subsumer.cpp.o
[ 53%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/PartHandler.cpp.o
[ 56%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/XorSubsumer.cpp.o
[ 60%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/StateSaver.cpp.o
[ 63%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/ClauseAllocator.cpp.o
[ 66%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/UselessBinRemover.cpp.o
[ 70%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/OnlyNonLearntBins.cpp.o
[ 73%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/CompleteDetachReattacher.cpp.o
[ 76%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/DimacsParser.cpp.o
[ 80%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/SCCFinder.cpp.o
[ 83%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/SolverConf.cpp.o
[ 86%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/ClauseVivifier.cpp.o
[ 90%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/DataSync.cpp.o
[ 93%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/MTSolver.cpp.o
[ 96%] Building CXX object
Solver/CMakeFiles/cryptominisat.dir/BothCache.cpp.o
Linking CXX executable cryptominisat
/usr/lib/gcc/x86_64-redhat-linux/4.5.1/../../../../lib64/libpthread.a(libpthread.o):
In function `sem_open':
(.text+0x79ee): warning: the use of `mktemp' is dangerous, better use
`mkstemp'
[ 96%] Built target cryptominisat
Scanning dependencies of target copy
[ 96%] Copying binaries from subdirs to build directory
[100%] Built target copy
[build]$


Rob



More information about the Cryptominisat-devel mailing list