I am trying to install the latest version of frama-c(Fluorine 3) in mac os x 10.9.
Using brew i was able to fill the prerequisites of frama-c(Gtk, GtkSourceView, GnomeCanvas and Lablgtk2)
The result from the config file is the following:
$ ./configure
configure: ******************
configure: * CONFIGURE MAKE *
configure: ******************
checking for make... make
make version is GNU Make 3.81: Good!
configure: *****************************
configure: * CONFIGURE OCAML COMPILERS *
configure: *****************************
checking for ocamlc... ocamlc
OCaml version is 4.01.0: good!
ocaml library path is /usr/local/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version and standard library... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version and standard library... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version and standard library... ok
configure: *******************************************
configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
configure: *******************************************
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for /usr/local/lib/ocaml/ocamlgraph/graph.cmx... yes
configure: OcamlGraph 1.8.3 found: great!
configure: ******************************************
configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES *
configure: ******************************************
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for ocamlmktop... ocamlmktop
checking for ocamlcp... ocamlcp
checking for otags... no
checking for ocamlfind... ocamlfind
OCamlfind detected and enabled
checking for /Users/me/.opam/system/lib/zarith/zarith.cmxa... no
configure: WARNING: Zarith not found: will use the default less efficient library instead
configure: **********************
configure: * CONFIGURE PLATFORM *
configure: **********************
checking platform... Unix
Default preprocessor is gcc -C -E -I..
configure: ***************************
configure: * WISHED FRAMA-C PLUG-INS *
configure: ***************************
checking for src/constant_propagation... yes
semantic_constant_folding... yes
checking for src/from... yes
from_analysis... yes
checking for src/gui... yes
gui... yes
checking for src/impact... yes
impact... yes
checking for src/inout... yes
inout... yes
checking for src/metrics... yes
metrics... yes
checking for src/occurrence... yes
occurrence... yes
checking for src/pdg... yes
pdg... yes
checking for src/postdominators... yes
postdominators... yes
checking for src/rte... yes
rte_annotation... yes
checking for src/scope... yes
scope... yes
checking for src/semantic_callgraph... yes
semantic_callgraph... yes
checking for src/slicing... yes
slicing... yes
checking for src/sparecode... yes
sparecode... yes
checking for src/syntactic_callgraph... yes
syntactic_callgraph... yes
checking for src/users... yes
users... yes
checking for src/value... yes
value_analysis... yes
checking for src/aorai/Makefile.in... yes
aorai... yes
checking for ltl2ba... no
checking for src/obfuscator/Makefile.in... yes
obfuscator... yes
checking for src/report/Makefile.in... yes
report... yes
checking for src/security_slicing/Makefile.in... yes
security_slicing... yes
checking for src/wp/Makefile.in... yes
wp... yes
checking for coqc... no
configure: rerun configure to make wp using coq 8.4
configure: *******************************************************
configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure: *******************************************************
ocamlfind: Package `lablgtk2' not found
Ocamlfind -> using +lablgtk2.(,/usr/local/lib/ocaml/lablgtk2)
checking for /usr/local/lib/ocaml/lablgtk2/lablgtk.cmxa... yes
checking for /usr/local/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa... yes
checking for /usr/local/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa... yes
checking for dot... yes
checking for /usr/local/lib/ocaml/dynlink.cmxa... yes
native dynlink works fine. Great.
configure: *************************************
configure: * CHECKING FOR PLUG-IN DEPENDENCIES *
configure: *************************************
configure: WARNING: ltl2ba not found.
configure: WARNING: aorai partially enabled because ltl2ba missing.
configure: *********************
configure: * CREATING MAKEFILE *
configure: *********************
configure: creating ./config.status
config.status: creating src/aorai/Makefile
config.status: creating src/obfuscator/Makefile
config.status: creating src/report/Makefile
config.status: creating src/security_slicing/Makefile
config.status: creating src/wp/Makefile
config.status: creating share/Makefile.config
configure: *******************************
configure: * SUMMARY: PLUG-INS AVAILABLE *
configure: *******************************
configure: semantic_constant_folding: yes
configure: from_analysis: yes
configure: gui: yes
configure: impact: yes
configure: inout: yes
configure: metrics: yes
configure: occurrence: yes
configure: pdg: yes
configure: postdominators: yes
configure: rte_annotation: yes
configure: scope: yes
configure: semantic_callgraph: yes
configure: slicing: yes
configure: sparecode: yes
configure: syntactic_callgraph: yes
configure: users: yes
configure: value_analysis: yes
configure: aorai: partial, dynamic, ltl2ba missing
configure: obfuscator: yes, dynamic
configure: report: yes, dynamic
configure: security_slicing: yes, dynamic
configure: wp: yes, dynamic
It seems to fill all the necessary prerequisites.
But when running make i get the following error:
Ocamlc src/ai/abstract_interp.cmi
File "src/ai/abstract_interp.mli", line 166, characters 4-33:
Error: In this `with' constraint, the new definition of O
does not match its original definition in the constrained signature:
...
The field `find' is required but not provided
make: *** [src/ai/abstract_interp.cmi] Error 2
Can anyone tell me what i am doing wrong?
Frama-C Fluorine 3 is not compatible with OCaml 4.01. The Opam package of Frama-C contains the necessary patch at https://github.com/ocaml/opam-repository/blob/master/packages/frama-c/frama-c.20130601/files/4.01-compat.patch. You might also want to try Opam for installing OCaml software (as far as I know, Opam has support for Mac OS X).
Related
Updated:
I am trying to install repast hpc 2.3.1 on my MacBook Pro with M1 processor, however I run into the following issue. I am following the Install.txt instructions included in the package. The issue now occurs when I try to use ./install rhpc I get the following errors, which seem to stem from the GridComponents.o file failing to find the DBL_MAX variable and marking it as undeclared:
checking for mpicc... mpicc
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 mpicc accepts -g... yes
checking for mpicc option to accept ISO C89... none needed
checking whether we are using the GNU C++ compiler... yes
checking whether /Users/alxndr/sfw/MPICH/bin//mpicxx accepts -g... yes
checking for ar... ar
checking for ranlib... ranlib
detected Mac.
checking for cp that supports -u... no
checking for grep that handles long lines and -e... /usr/bin/grep
checking how to run the C preprocessor... mpicc -E
checking for a sed that does not truncate output... /usr/bin/sed
checking for Boost headers version >= 0... yes
checking for Boost's header version... 1_78
checking build system type... arm-apple-darwin20.6.0
checking host system type... arm-apple-darwin20.6.0
checking for the toolset name used by Boost for /Users/alxndr/sfw/MPICH/bin//mpicxx... xgcc42 -xgcc
checking how to run the C++ preprocessor... /Users/alxndr/sfw/MPICH/bin//mpicxx -E
checking for egrep... /usr/bin/grep -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 boost/archive/text_oarchive.hpp usability... yes
checking boost/archive/text_oarchive.hpp presence... yes
checking for boost/archive/text_oarchive.hpp... yes
checking for the Boost serialization library... yes
checking boost/mpi.hpp usability... yes
checking boost/mpi.hpp presence... yes
checking for boost/mpi.hpp... yes
checking for the Boost mpi library... yes
checking boost/system/error_code.hpp usability... yes
checking boost/system/error_code.hpp presence... yes
checking for boost/system/error_code.hpp... yes
checking for the Boost system library... yes
checking boost/filesystem/path.hpp usability... yes
checking boost/filesystem/path.hpp presence... yes
checking for boost/filesystem/path.hpp... yes
checking for the Boost filesystem library... yes
checking for boost/system/error_code.hpp... (cached) yes
checking for the Boost system library... (cached) yes
checking for curl_version in -lcurl... yes
checking for nc_open in -lnetcdf... yes
checking netcdfcpp.h usability... yes
checking netcdfcpp.h presence... yes
checking for netcdfcpp.h... yes
checking for stdbool.h that conforms to C99... yes
checking for _Bool... yes
checking for an ANSI C-conforming const... yes
checking for inline... inline
checking for size_t... yes
checking whether struct tm is in sys/time.h or time.h... time.h
checking for uint32_t... yes
checking for ptrdiff_t... yes
checking for error_at_line... no
checking for ANSI C header files... (cached) yes
checking for floor... yes
checking for rint... yes
checking for sqrt... yes
configure: creating ./config.status
config.status: creating Makefile
config.status: creating config.h
CC src/repast_hpc/AgentId.o
CC src/repast_hpc/AgentImporterExporter.o
CC src/repast_hpc/AgentRequest.o
CC src/repast_hpc/AgentStatus.o
CC src/repast_hpc/CartesianTopology.o
CC src/repast_hpc/Graph.o
CC src/repast_hpc/GridComponents.o
src/repast_hpc/GridComponents.cpp:165:64: error: use of undeclared identifier 'DBL_MAX'
if(out[i] >= maxs[i]) out[i] = nextafter(maxs[i], -DBL_MAX);
^
src/repast_hpc/GridComponents.cpp:166:64: error: use of undeclared identifier 'DBL_MAX'
else if(out[i] < mins[i]) out[i] = nextafter(mins[i], DBL_MAX);
^
2 errors generated.
make: *** [src/repast_hpc/GridComponents.o] Error 1
I've outlined all the required fixes (including the DBL_MAX fix) here: https://github.com/Repast/repast.hpc/issues/7. With those in place, the zombies and rumor demo models work on macOS on an M1 Max laptop.
All that said, and as an aside, we typically do our repast hpc and repast4py development work on a Linux VM running under Parallels or VMWare Fusion on a Mac. This is because that more closely matches the cluster or HPC environments we ultimately run the models on.
I am trying to get Omnet++ to run on my Mac and i am at the following step:
3.6. Configuring and Building OMNeT++
Check configure.user to make sure it contains the settings you need. In most cases
you don’t need to change anything in it.
In the top-level OMNeT++ directory, type:
$ ./configure
The configure script detects installed software and configuration of your system.
It writes the results into the Makefile.inc file, which will be read by the makefiles
during the build process.
But my log shows me this and i don't understand what i did wrong or where i should make changes:
checking build system type... x86_64-apple-darwin21.1.0
checking host system type... x86_64-apple-darwin21.1.0
configure: -----------------------------------------------
configure: reading configure.user for your custom settings
configure: -----------------------------------------------
checking for icc... no
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 for icpc... no
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking for g++... g++
checking for ranlib... ranlib
Configured with: --prefix=/Library/Developer/CommandLineTools/usr --with-gxx-include-dir=/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/4.2.1
checking whether g++ supports -fno-omit-frame-pointer... yes
checking whether g++ supports -Wl,--no-as-needed... no
checking whether g++ supports -Wl,--as-needed... no
checking if shared libs need -fPIC... no
checking for dlopen with CFLAGS="" LIBS=""... yes
checking if --export-dynamic linker option is supported/needed... test failed
checking for flags needed to link with static libs containing simple modules... -all_load
configure: NOTE: Use the following syntax when linking with static libraries
configure: containing simple modules and other dynamically registered components:
configure: g++ ... -Wl,-all_load <libs> ...
checking whether linker supports -rpath... yes
checking for bison... bison -y
checking for flex... flex
checking lex output file root... lex.yy
checking lex library... none needed
checking whether yytext is a pointer... no
checking for make... make
checking for perl... perl
checking for swig... not found
checking for math with CFLAGS="" LIBS=""... yes
checking for standard C++ lib with CFLAGS="" LIBS="-lstdc++"... yes
checking for dlopen with CFLAGS="" LIBS=""... yes
checking for qmake... no
checking for qmake-qt5... no
checking for qmake5... no
configure: error: Qtenv cannot find qmake -- maybe it is not in the PATH or has some exotic name (tested names were: qmake qmake-qt5 qmake5) - disabling Qtenv. You can try setting the QT_PATH variable in configure.user to a valid location.
Make sure you have sourced the setenv script with
source setenv
before trying to run the configure script.
Also, why not use OMNeT++ 5.7 ?
I've been going step by step until midnight, then I turned off the Laptop (Standby) - i've Ubuntu 14.04 LTS as OS. When I woke up I wanted to continue, so I started my laptop again, but the screen kept black. I shut it down, and started it.
I had to mount everything, so I executed this:
# mount -v -t ext4 /dev/sda3 $LFS
# rm /tools
# ln -sv $LFS/tools /
# chroot "$LFS" /tools/bin/env -i \
HOME=/root \
TERM="$TERM" \
PS1='\u:\w\$ ' \
PATH=/bin:/usr/bin:/sbin:/usr/sbin:/tools/bin \
/tools/bin/bash --login +h
When I enter to /source/ncurses-5.9/ and execute ./configure --prefix=/usr --mandir=/usr/share/man --with-shared --without-debug --enable-pc-files --enable-widec it gives me back:
checking for egrep... grep -E
Configuring NCURSES 5.9 ABI 5 (Sun Apr 26 07:23:00 UTC 2015)
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
Configuring for linux-gnu
checking for prefix... /usr
checking for gcc... gcc
checking for C compiler default output... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for executable suffix...
checking for object suffix... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking version of gcc... 4.9.2
checking how to run the C preprocessor... gcc -E
checking whether gcc needs -traditional... no
checking whether gcc understands -c and -o together... yes
checking for POSIXized ISC... no
checking for gcc option to accept ANSI C... -DCC_HAS_PROTOS
checking for ldconfig... /sbin/ldconfig
checking if you want to ensure bool is consistent with C++... yes
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking for g++... /usr/bin/g++
checking version of g++... 4.9.2
checking if you want to build C++ binding and demo... yes
checking if you want to build with Ada95... yes
checking if you want to install manpages... yes
checking if you want to build programs such as tic... yes
checking if you want to build test-programs... yes
checking if you wish to install curses.h... yes
checking for mawk... no
checking for gawk... gawk
checking for egrep... (cached) grep -E
checking for a BSD compatible install... /tools/bin/install -c
checking for tdlint... no
checking for lint... no
checking for alint... no
checking for splint... no
checking for lclint... no
checking whether ln -s works... yes
checking if ln -s -f options work... yes
checking for long file names... yes
checking if you want to use pkg-config... yes
checking for pkg-config... /usr/bin/pkg-config
checking if we should install .pc files for /usr/bin/pkg-config... yes
checking if we should assume mixed-case filenames... auto
checking if filesystem supports mixed-case filenames... yes
checking whether make sets ${MAKE}... yes
checking for exctags... no
checking for ctags... no
checking for exetags... no
checking for etags... no
checking for ctags... no
checking for etags... no
checking for makeflags variable...
checking for ranlib... ranlib
checking for ld... ld
checking for ar... ar
checking for ar... (cached) ar
checking for options to update archives... -curv
checking if you have specified an install-prefix...
checking if libtool -version-number should be used... yes
checking if you want to build libraries with libtool... no
checking if you want to build shared libraries... yes
checking if you want to build static libraries... yes
checking if you want to build debug libraries... no
checking if you want to build profiling libraries... no
checking for specified models... shared normal
checking for default model... shared
checking if you want to build a separate terminfo library... no
checking if you want to build a separate tic library... no
checking if you want to link with the GPM mouse library... maybe
checking for gpm.h... no
checking for default loader flags...
checking if rpath option should be used... no
checking if shared libraries should be relinked during install... yes
checking for an rpath option... -Wl,-rpath,
checking if release/abi version should be used for shared libs... auto
checking which gcc option to use... -fPIC
checking if rpath-hack should be disabled... no
checking for updated LDFLAGS... maybe
checking for ldd... ldd
checking if you wish to install ncurses overwriting curses... yes
checking if external terminfo-database is used... yes
checking which terminfo source-file will be installed... ${top_srcdir}/misc/terminfo.src
checking whether to use hashed database instead of directory/tree... no
checking for list of fallback descriptions...
checking if you want modern xterm or antique... xterm-new
checking for list of terminfo directories... /usr/share/terminfo
checking for default terminfo directory... /usr/share/terminfo
checking if big-core option selected... yes
checking if big-strings option selected... yes
checking if you want termcap-fallback support... no
checking if ~/.terminfo is wanted... yes
checking if you want to use restricted environment when running as root... yes
checking for remove... yes
checking for unlink... yes
checking if link/symlink functions work... link symlink
checking if tic should use symbolic links... no
checking if tic should use hard links... yes
checking if you want broken-linker support code... no
checking if tputs should process BSD-style prefix padding... no
checking if we must define _GNU_SOURCE... yes
checking if SIGWINCH is defined... yes
checking for nl_langinfo and CODESET... yes
checking if you want wide-character code... yes
checking if we must define _XOPEN_SOURCE_EXTENDED... no
checking for putwc... yes
checking for btowc... yes
checking for wctob... yes
checking for mbtowc... yes
checking for wctomb... yes
checking for mblen... yes
checking for mbrlen... yes
checking for mbrtowc... yes
checking for wcsrtombs... yes
checking for mbsrtowcs... yes
checking for wcstombs... yes
checking for mbstowcs... yes
checking if we must include wchar.h to declare mbstate_t... yes
checking if we must include wchar.h to declare wchar_t... no
checking if we must include wchar.h to declare wint_t... yes
checking whether to enable _LP64 definition in curses.h... no
checking for special C compiler options needed for large files... no
checking for _FILE_OFFSET_BITS value needed for large files... no
checking for _LARGE_FILES value needed for large files... no
checking for _LARGEFILE_SOURCE value needed for large files... no
checking for fseeko... yes
checking whether to use struct dirent64... no
checking if you want tparm not to use X/Open fixed-parameter list... yes
checking for type of bool... auto
checking for alternate terminal capabilities file... Caps
checking for type of chtype... auto
checking for type of ospeed... short
checking for type of mmask_t... auto
checking for size CCHARW_MAX... 5
checking if RCS identifiers should be compiled-in... no
checking format of man-pages... normal
checking for manpage renaming... no
checking if manpage aliases will be installed... yes
checking if manpage symlinks should be used... yes
checking for manpage tbl... no
checking if you want to build with function extensions... yes
checking if you want to build with experimental SCREEN extensions... no
checking if you want to build with experimental terminal-driver... no
checking for extended use of const keyword... no
checking if you want to use extended colors... no
checking if you want to use extended mouse encoding... no
checking if you want $NCURSES_NO_PADDING code... yes
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 signed char... yes
checking size of signed char... 1
checking if you want to use signed Boolean array in term.h... no
checking if you want SIGWINCH handler... yes
checking if you want user-definable terminal capabilities like termcap... yes
checking if you want all development code... no
checking if you want hard-tabs code... no
checking if you want limited support for xmc... no
checking if you do not want to assume colors are white-on-black... yes
checking if you want hashmap scrolling-optimization code... yes
checking if you want colorfgbg code... no
checking if you want interop bindings... no
checking if you want to link with the pthread library... no
checking if you want experimental reentrant code... no
checking if you want experimental safe-sprintf code... no
checking if you want experimental wgetch-events code... no
checking if you want to display full commands during build... yes
checking if you want to see compiler warnings...
configure: checking for gcc __attribute__ directives...
... scanf
... printf
... unused
... noreturn
checking if you want to enable runtime assertions... no
checking if you want to use dmalloc for testing... no
checking if you want to use dbmalloc for testing... no
checking if you want to use valgrind for testing... no
checking if you want to perform memory-leak testing... no
checking whether to add trace feature to all models... no
checking for gettimeofday... yes
checking if -lm needed for math functions... yes
checking for ANSI C header files... (cached) yes
checking for dirent.h that defines DIR... yes
checking for opendir in -ldir... no
checking whether time.h and sys/time.h may both be included... yes
checking for regcomp... yes
checking for regular-expression headers... regex.h
checking for fcntl.h... yes
checking for getopt.h... yes
checking for limits.h... yes
checking for locale.h... yes
checking for math.h... yes
checking for poll.h... yes
checking for sys/bsdtypes.h... no
checking for sys/ioctl.h... yes
checking for sys/param.h... yes
checking for sys/poll.h... yes
checking for sys/select.h... yes
checking for sys/time.h... yes
checking for sys/times.h... yes
checking for ttyent.h... yes
checking for unistd.h... (cached) yes
checking for wctype.h... yes
checking if sys/time.h works with sys/select.h... yes
checking for gcc option to accept ANSI C... none needed
checking for an ANSI C-conforming const... yes
checking for inline... inline
checking if gcc supports options to tune inlining... yes
checking for signal global datatype... volatile sig_atomic_t
checking for type of chtype... int
checking if unsigned literals are legal... yes
checking if external errno is declared... yes
checking if external errno exists... no
checking if data-only library module links... yes
checking for getcwd... yes
checking for getegid... yes
checking for geteuid... yes
checking for getttynam... yes
checking for issetugid... no
checking for poll... yes
checking for remove... (cached) yes
checking for select... yes
checking for setbuf... yes
checking for setbuffer... yes
checking for setvbuf... yes
checking for sigaction... yes
checking for sigvec... no
checking for strdup... yes
checking for strstr... yes
checking for tcgetpgrp... yes
checking for times... yes
checking for vsnprintf... yes
checking for isascii... yes
checking whether sigaction needs _POSIX_SOURCE... no
checking if nanosleep really works... yes
checking for termio.h... yes
checking for termios.h... yes
checking for unistd.h... (cached) yes
checking whether termios.h needs _POSIX_SOURCE... no
checking for tcgetattr... yes
checking for vsscanf function or workaround... vsscanf
checking for working mkstemp... yes
checking whether setvbuf arguments are reversed... no
checking return type of signal handlers... void
checking for type sigaction_t... no
checking declaration of size-change... yes
checking for memmove... yes
checking if poll really works... yes
checking for va_copy... yes
checking for __va_copy... yes
checking for pid_t... yes
checking for unistd.h... (cached) yes
checking for vfork.h... no
checking for fork... yes
checking for vfork... yes
checking for working fork... (cached) yes
checking for working vfork... (cached) yes
checking for openpty in -lutil... yes
checking for openpty header... pty.h
checking if we should include stdbool.h... yes
checking for builtin bool type... no
checking for library stdc++... no
checking whether /usr/bin/g++ understands -c and -o together... yes
checking how to run the C++ preprocessor... /usr/bin/g++ -E
checking for iostream... yes
checking for typeinfo... yes
checking if iostream uses std-namespace... yes
checking if we should include stdbool.h... (cached) yes
checking for builtin bool type... yes
checking for size of bool... unsigned char
checking for special defines needed for etip.h... MATH_H
checking if /usr/bin/g++ accepts parameter initialization... no
checking if /usr/bin/g++ accepts static_cast... yes
checking for gnatmake... no
checking for library subsets... ticlib+termlib+ext_tinfo+base+widechar+ext_funcs
checking default library suffix... w
checking default library-dependency suffix... w.so
checking default object directory... obj_s
checking c++ library-dependency suffix... w.a
checking where we will install curses.h... ${prefix}/include
checking for src modules... ncurses progs panel menu form
checking for tic... /tools/bin/tic
configure: creating ./config.status
config.status: creating include/MKterm.h.awk
config.status: creating include/curses.head
config.status: creating include/ncurses_dll.h
config.status: creating include/termcap.h
config.status: creating include/unctrl.h
config.status: creating man/Makefile
config.status: creating include/Makefile
config.status: creating ncurses/Makefile
config.status: creating progs/Makefile
config.status: creating panel/Makefile
config.status: creating menu/Makefile
config.status: creating form/Makefile
config.status: creating test/Makefile
config.status: creating misc/Makefile
config.status: creating c++/Makefile
config.status: creating Ada95/gen/adacursesw-config
config.status: creating man/adacursesw-config.1
config.status: creating misc/run_tic.sh
config.status: creating misc/ncurses-config
config.status: creating man/ncursesw5-config.1
config.status: creating misc/gen-pkgconfig
config.status: creating Makefile
config.status: creating include/ncurses_cfg.h
config.status: include/ncurses_cfg.h is unchanged
Appending rules for shared model (ncurses: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for normal model (ncurses: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for shared model (progs: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for normal model (progs: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for shared model (panel: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for normal model (panel: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for shared model (menu: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for normal model (menu: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for shared model (form: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for normal model (form: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for shared model (test: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for normal model (test: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for shared model (c++: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
Appending rules for normal model (c++: ticlib+termlib+ext_tinfo+base+widechar+ext_funcs)
creating headers.sh
./configure: line 21016: 27277 Segmentation fault (core dumped) ${MAKE:-make} preinstall
And when I try to run make, it just says:
Segmentation fault (core dumped)
How can I fix that? Or do you need more information?
From the information, no it is not possible to answer the question.
At that point, the configure script simply runs "make" with a rule that runs a series of echo commands. There are no other programs involved than sh, make and echo (which you can see by viewing the generated Makefile and looking for preinstall. You should have seen this:
** Configuration summary for NCURSES 5.9 20110404:
extended funcs: yes
xterm terminfo: xterm-new
bin directory: /usr/bin
lib directory: /usr/lib
include directory: /usr/include
man directory: /usr/share/man
terminfo directory: /usr/share/terminfo
Whatever problem is there, appears unrelated to ncurses.
I would be tempted to restart the install, supposing that something went amiss when suspending and resuming.
I am trying to compile the hadoop native library on mac os.
My Mac OS X is 10.7.4. My Hadoop is 1.0.3
I have installed the zlib 1.2.7 and lzo 2.0.6 like below:
./configure -shared --prefix=/usr/local/[zlib/lzo]
make
make install
I change the .bash_profile like below
export C_INCLUDE_PATH=$C_INCLUDE_PATH:/usr/local/zlib-1.2.7/include:/usr/local/lzo-2.06/include
export LIBRARY_PATH=$LIBRARY_PATH:/usr/local/zlib-1.2.7/lib:/usr/local/lzo-2.06/lib
export CFLAGS="-arch x86_64"
I switch to hadoop folder and run
ant -Dcompile.native=true compile-native
I got such information like below
[exec] checking stddef.h usability... yes
[exec] checking stddef.h presence... yes
[exec] checking for stddef.h... yes
[exec] checking jni.h usability... yes
[exec] checking jni.h presence... yes
[exec] checking for jni.h... yes
[exec] checking zlib.h usability... yes
[exec] checking zlib.h presence... yes
[exec] checking for zlib.h... yes
[exec] checking Checking for the 'actual' dynamic-library for '-lz'...
[exec] configure: error: Can't find either 'objdump' or 'ldd' to compute the dynamic library for '-lz'
BUILD FAILED
Does anyone meet this issue before?
Best Regards,
There was a JIRA (3659) ticket submitted for this - you should be able to take the top patch file and apply it. Read the comment thread though, as there is some talk about it not supporting 32bit.
I was trying to install the Flite1.4. The installation is two steps
./configure
make
But make gives me this error:
make: *** No rule to make target `tools', needed by `all'. Stop.
Please help to resolve this error.
[angus#bu flite-1.4-release]$ ls
ACKNOWLEDGEMENTS config.status Exports.def Makefile src
bin config.sub fliteDll.vcproj missing testsuite
build configure flite.sln mkinstalldirs wince
config configure.in include palm
config.guess COPYING install-sh README
config.log doc lang sapi
[angus#cebu flite-1.4-release]$ ./configure
checking build system type... i686-pc-linux-gnu
checking host system type... i686-pc-linux-gnu
checking target system type... i686-pc-linux-gnu
checking for gcc... gcc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables...
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 for ranlib... ranlib
checking for a BSD-compatible install... /usr/bin/install -c
checking for ar... ar
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -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 whether byte ordering is bigendian... no
checking for mmap... yes
checking sys/soundcard.h usability... yes
checking sys/soundcard.h presence... yes
checking for sys/soundcard.h... yes
checking machine/soundcard.h usability... no
checking machine/soundcard.h presence... no
checking for machine/soundcard.h... no
checking sys/audioio.h usability... no
checking sys/audioio.h presence... no
checking for sys/audioio.h... no
checking mmsystem.h usability... no
checking mmsystem.h presence... no
checking for mmsystem.h... no
configure: creating ./config.status
config.status: creating config/config
config.status: creating config/system.mak
[angus#bu flite-1.4-release]$ make
make: *** No rule to make target `tools', needed by `all'. Stop.
Your Makefile looks bad. Somewhere in it there is a like looking like:
all: <some-other-targets> tools
Which says that the target all requires the target tools to be made. But there is no line
in the Makefile defining the target tools.
That seems strange for a released code. Some idea on how to go on:
Make sure the target tools is correctly spelled. Case matters.
You may try to remove the dependency of all on tools by removing tools on the line described above and rerun make. This does not build you package completly, but at least you know if there are some other issues to resolve.
Run configure --help and look at the available options like --enable-XXXXX to may be used with configure. Using options with configure may modify the Makefile and avoid building the tools target.
Note that each time configure is called, the Makefile is being regenerated: so your modification may go lost.