noĬhecking dynamic linker characteristics. yesĬhecking whether -lc should be explicitly linked in. yesĬhecking whether the gcc linker (/usr/bin/ld) supports shared libraries. yesĬhecking if gcc supports -c -o file.o. fPICĬhecking if gcc PIC flag -fPIC works. noĬhecking for gcc option to produce PIC. okĬhecking if gcc supports -fno-rtti -fno-exceptions. 32768Ĭhecking command to parse /usr/bin/nm -B output from gcc object. noĬhecking the maximum length of command line arguments. g++ -EĬhecking whether we are using the GNU Fortran 77 compiler. gcc -EĬhecking how to run the C++ preprocessor. pass_allĬhecking how to run the C preprocessor. usr/bin/nm -BĬhecking how to recognise dependent libraries. yesĬhecking for /usr/bin/ld option to reload object files. usr/bin/ldĬhecking if the linker (/usr/bin/ld) is GNU ld. bin/sedĬhecking for grep that handles long lines and -e. yesĬhecking for a sed that does not truncate output. none neededĬhecking whether we are using the GNU C++ compiler. yesĬhecking for gcc option to accept ISO C89. noĬhecking whether we are using the GNU C compiler. yesĬhecking whether we are cross compiling. a.outĬhecking whether the C compiler works. noĬhecking for standard CFLAGS on this platform.Ĭhecking for C compiler default output file name. i686-pc-linux-gnuĬhecking if you are configuring for another platform. i686-pc-linux-gnuĬhecking target system type. i686-pc-linux-gnuĬhecking host system type. configure -enable-plugins -enable-usb -enable-global-pages -enable-fast-function-calls -enable-host-specific-asms -enable-cpp -enable-debugger -enable-disasm -enable-readline -enable-logging -enable-raw-serial -enable-fpu -enable-vme -enable-x86-debugger -enable-pci -with-x -with-x11 -with-term -with-noguiĬhecking build system type. I have enabled the following options while running the configure script: Make: Leaving directory `/pintos/bochs-2.3.7/iodev' config.h:795:2: error: #error "Page Global Extension (PGE) only supported with CPU_LEVEL >= 6 !" I./instrument/stubs -I././instrument/stubs -g -O2 -D_FILE_OFFSET_BITS=64 -D_LARGE_FILES devices.cpp -o devices.o Make: Entering directory `/pintos/bochs-2.3.7/iodev' Please let me know if I am missing any supporting packages or configuration options. I am getting the following error when running the make command. I am installing Bochs on 32 bit cpu with U-buntu OS.
0 Comments
Leave a Reply. |