Following this post I managed to install LablGtk (I think) but still when I try to configure-make Coq I get the following message that CoqIDE will not be built:
$ ./configure
You have OCaml 4.09.0+dev0-2019-01-18. Good!
You have OCamlfind 1.7.1. Good!
You have native-code compilation. Good!
You have the Num library installed. Good!
Warning: Incomplete LablGtk2 (via ocamlfind): no /usr/local/lib/ocaml/4.04.0/lablgtk2/gSourceView2.cmi.
Warning: Incomplete LablGtk2 (in OCaml library): no /usr/lib/ocaml/lablgtk2/gSourceView2.cmi.
LablGtk2 not found:
=> no CoqIde will be built.
Where should I install the Coq binaries [/usr/local/bin]?
How can I make sure LablGtk is installed? or if something else is missing?
EDIT:
I ran sudo make install again from the extracted LablGtk folder and I now see it failed because it already has this library, but it is somehow associated with an old ocaml version (???):
$ sudo make install
ocamlfind: Package lablgtk2 is already installed
- (file /usr/local/lib/ocaml/4.04.0/lablgtk2/META already exists)
Makefile:400: recipe for target 'findlib-install' failed
make[1]: *** [findlib-install] Error 2
make[1]: Leaving directory '/home/oren/Downloads/lablgtk-2.18.7/src'
Makefile:5: recipe for target 'install' failed
make: *** [install] Error 2
Related
Using homebrew on my El Capitan(10.11.6), i installed java and eclipse-ptp through the following commands:
brew cask install java
brew cask install eclipse-ptp
I have gcc and thus gfortran through homebrew from earlier.
Eclipse PTP got copied into the Apps successfully. I opened the application and created a helloworld demo project and tried to build it. I get the following message in the build console window:
make all
make: gfortran: No such file or directory
gfortran -O2 -g \
-o bin/demo \
src/demo.f90
make: *** [all] Error 1
I glean that this issue maybe due to improper setting of the path variable, what i do fail to understand is:
Given that all the installs happened through homebrew, why is this problem appearing?
How do i fix this issue?
I'm working on Solaris 11.3 with Sun Studio 12.5. When I attempt to configure with Cmake out-of-tree, Cmake finishes with configuration errors and does not produce the makefiles. In-tree may be broken, too. But our procedures say to build out-of-tree, so that;' what I do.
I have nearly no Cmake experience. Others contributed the the CMake files, and I struggle with tasks related to them. I'm not sure if I am doing something wrong, if our Cmake files are broken, or if Cmake is not well tested under Solaris.
What is going on with CMake, and how do I fix it?
Here are the links to the Cmake files. I can copy/paste them, but it just takes up a bunch of space. The files are hosted on GitHub so they should always be available.
CMakefileList.txt
cryptopp-config.cmake
Here is Solaris' Cmake version, prior to me installing 3.6.2:
$ cmake --version
cmake version 2.8.6
Below is from Solaris Cmake version 2.8.6.
cryptopp-build$ export CXX=/opt/developerstudio12.5/bin/CC
cryptopp-build$ export CXXFLAGS="-DNDEBUG -g2 -O2 -D__SSE2__ -D__SSE3__ -D__SSSE3__ -D__SSE4_1__ -D__SSE4_2__ -D__AES__ -D__PCLMUL__ -D__RDRND__ -D__RDSEED__ -D__AVX__ -D__AVX2__ -D__BMI__ -D__BMI2__ -D__ADX__ -xarch=avx2_i"
cryptopp-build$ cmake ../cryptopp
-- The CXX compiler identification is unknown
-- Check for working CXX compiler: /bin/c++
-- Check for working CXX compiler: /bin/c++ -- broken
CMake Error at /usr/share/cmake-2.8/Modules/CMakeTestCXXCompiler.cmake:45 (MESSAGE):
The C++ compiler "/bin/c++" is not able to compile a simple test program.
It fails with the following output:
Change Dir: /export/home/test/cryptopp-build/CMakeFiles/CMakeTmp
Run Build Command:/bin/gmake "cmTryCompileExec/fast"
/bin/gmake -f CMakeFiles/cmTryCompileExec.dir/build.make
CMakeFiles/cmTryCompileExec.dir/build
gmake[1]: Entering directory
`/export/home/test/cryptopp-build/CMakeFiles/CMakeTmp'
/usr/bin/cmake -E cmake_progress_report
/export/home/test/cryptopp-build/CMakeFiles/CMakeTmp/CMakeFiles 1
Building CXX object CMakeFiles/cmTryCompileExec.dir/testCXXCompiler.cxx.o
/bin/c++ -DNDEBUG -g2 -O2 -D__SSE2__ -D__SSE3__ -D__SSSE3__ -D__SSE4_1__
-D__SSE4_2__ -D__AES__ -D__PCLMUL__ -D__RDRND__ -D__RDSEED__ -D__AVX__
-D__AVX2__ -D__BMI__ -D__BMI2__ -D__ADX__ -xarch=avx2_i -o
CMakeFiles/cmTryCompileExec.dir/testCXXCompiler.cxx.o -c
/export/home/test/cryptopp-build/CMakeFiles/CMakeTmp/testCXXCompiler.cxx
c++: error: language arch=avx2_i not recognized
c++: error: language arch=avx2_i not recognized
gmake[1]: Leaving directory
`/export/home/test/cryptopp-build/CMakeFiles/CMakeTmp'
gmake[1]: *** [CMakeFiles/cmTryCompileExec.dir/testCXXCompiler.cxx.o] Error
1
gmake: *** [cmTryCompileExec/fast] Error 2
CMake will not be able to correctly generate this project.
Call Stack (most recent call first):
CMakeLists.txt:9 (project)
-- Configuring incomplete, errors occurred!
And:
$ /opt/developerstudio12.5/bin/CC -V
CC: Studio 12.5 Sun C++ 5.14 SunOS_i386 2016/05/31
I built Cmake 3.6.2 from sources and installed in /usr/local to attack the CXX compiler identification is unknown issue, but it appears to be having some troubles. As I said earlier, I'm not a Cmake expert (and I'm not sure how one can mess up a make && sudo make install).
cryptopp-build$ cmake ../cryptopp
CMake Error: Could not find CMAKE_ROOT !!!
CMake has most likely not been installed correctly.
Modules directory not found in
/usr/local/bin
CMake Error: Error executing cmake::LoadCache(). Aborting.
Clearing the cache as suggested by #AndrewHenle results in:
# The project GNUmakefile clears all Cmake artifacts because Cmake cannot seem to do it on its own
$ cd cryptopp
$ git status -s
$
$ cd ..
$ rm -rf cryptopp-build
$ mkdir cryptopp-build
$ cd cryptopp-build
# Using 3.6.2 now
$ cmake ../cryptopp
CMake Error: Could not find CMAKE_ROOT !!!
CMake has most likely not been installed correctly.
Modules directory not found in
/usr/local/bin
CMake Error: Error executing cmake::LoadCache(). Aborting.
So there appeared to be two problems. First was the down level Sun supplied Cmake. There's nothing genius about diagnosing it as "too old".
The second issue was more interesting. It appears the CMake Error: Could not find CMAKE_ROOT !!! was cause by sudo make install Once I switched to sudo gmake install the issue went away.
Here are the bug reports on the issue:
Cmake Issue 16302: Cmake fails to identify Sun Studio 12.5 compiler
Cmake Issue 16303: Cmake fails to produce a working installation on Solaris 11.3
I'm attempting to build glib-2.36.4 on CentOS5. I realize it would be wiser to upgrade to 6 but this isn't possible because of a customer requirement.
I've started a make build and I get the below error. The error complains that automake-1.13 doesn't exist on the system. However, I built automake 1.14 and installed it. An automake --version outputs the correct version.
I've done a yum list installed | grep automake to insure automake doesn't have conflicting installations.
I've tried googling the issue but I can't come up with anything.
make[4]: Entering directory `/home/tharper/glib-2.36.4/docs/reference/glib'
cd ../../.. && /bin/sh /home/tharper/glib-2.36.4/missing
automake-1.13 --gnu docs/reference/glib/Makefile
/home/tharper/glib-2.36.4/missing: line 81: automake-1.13: command not found
WARNING: 'automake-1.13' is missing on your system.
You should only need it if you modified 'Makefile.am' or
'configure.ac' or m4 files included by 'configure.ac'.
The 'automake' program is part of the GNU Automake package:
<http://www.gnu.org/software/automake>
It also requires GNU Autoconf, GNU m4 and Perl in order to run:
<http://www.gnu.org/software/autoconf>
<http://www.gnu.org/software/m4/>
<http://www.perl.org/>
make[4]: *** [Makefile.in] Error 127
make[4]: Leaving directory `/home/tharper/glib-2.36.4/docs/reference/glib'
make[3]: *** [all-recursive] Error 1
make[3]: Leaving directory `/home/tharper/glib-2.36.4/docs/reference'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory `/home/tharper/glib-2.36.4/docs'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/tharper/glib-2.36.4'
make: *** [all] Error 2
From the top level directory run the command
automake
Basically, your makefiles were built using Automake 1.13 and now you've got 1.14 they're getting confused, so running automake will recreate all the Makefiles using your new version.
In my side, it will show some warning after run automake, and I run the command to resolved this issue:
autoreconf -ivf
I ran in a similar problem when trying to compile gnome-mplayer-1.0.9.2 on Ubuntu 14.01.1.
I managed to resolve it by running the following commands in the source folder:
aclocal
automake
./configure
make
I have node.js and npm install under my /opt directory in Linux RHEL.
I've used npm to install several different modules, namely mongodb and mongoose. However, when it tries to make the distro (or I try it), it fails as follows:
make -C ./external-libs/bson all
make[1]: Entering directory `/opt/node_modules/mongodb/external-libs/bson'
rm -rf build .lock-wscript bson.node
node-waf configure build
make[1]: execvp: nodewaf: Not a directory
make[1]: *** [all] Error 127
make[1]: Leaving directory `/opt/node_modules/mongodb/external-libs/bson'
make: *** [build_native] Error 2
I presume this is happening because it can't find node-waf which is under /opt/node/tools. I'm just wondering if I botched the install that it's not picking it up or what's the best way to address this without mucking with the Makefile?
Thanks...
I have Ubuntu 10.04 and gcc version 4.4.3
I have been trying to install this library called SUPER_LU and there are some codes in it are written in Fortran. Typing "make" at the top level directory gives me the following errors
gaurish108#gaurish108-laptop:~/Desktop/Research Meetings/PETSC and SUper LU/SuperLU_4.0$ make
( cd INSTALL; make )
make[1]: Entering directory `/home/gaurish108/Desktop/Research Meetings/PETSC and SUper LU/SuperLU_4.0/INSTALL'
g77 -o testdlamch dlamch.o lsame.o dlamchtst.o
***make[1]: g77: Command not found***
make[1]: *** [testdlamch] Error 127
make[1]: Leaving directory `/home/gaurish108/Desktop/Research Meetings/PETSC and SUper LU/SuperLU_4.0/INSTALL'
make: *** [install] Error 2
This has happened with me in the past also when i tried to download some math libraries? always thought g77 cam bundles up with gcc. When I tried to install g77 separately with sudo apt-get install g77, this is what I got
gaurish108#gaurish108-laptop:~/Desktop/Research Meetings/PETSC and SUper LU/SuperLU_4.0$ sudo apt-get install g77[sudo] password for gaurish108:
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package g77 is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
E: Package g77 has no installation candidate
What should I do?
As of gcc 4.0, g77 has been replaced with gfortran.