Arrismog
asked on
Linux configure-make-make install: how to check which options were used in configure
Hello experts
I have a rather newbie question:
Is there any way to check with which options was the ./configure command executed for any installation under linux prior the make and make-install command?
Thanks in advance
I have a rather newbie question:
Is there any way to check with which options was the ./configure command executed for any installation under linux prior the make and make-install command?
Thanks in advance
Last Comment
farzanj
Yes. If you have the makefile, check it out. It should show the options.
./configure --help=short
Check "configure" file itself.
Search something like "Usage" , or simply type
./configure -h
or
./configure --help
It will show all the available options and descriptions. Each description might tell you what is the "default".
However, it depends on the software. Some software give you a lot of description some are not.
Search something like "Usage" , or simply type
./configure -h
or
./configure --help
It will show all the available options and descriptions. Each description might tell you what is the "default".
However, it depends on the software. Some software give you a lot of description some are not.
ASKER
@farzanj:
there's a Makefile in the install directory, but can't find any the options used during the config process
@farzanj and @ShareefHuddle:
I tried the configure --help command, but it shows the options available, not the options used during the compilation process :(
there's a Makefile in the install directory, but can't find any the options used during the config process
@farzanj and @ShareefHuddle:
I tried the configure --help command, but it shows the options available, not the options used during the compilation process :(
ASKER
* @wesly_chen: I tried the configure --help command, but it shows the options available, not the options used during the compilation process :(
ASKER CERTIFIED SOLUTION
THIS SOLUTION IS ONLY AVAILABLE TO MEMBERS.
View this solution by signing up for a free trial.
Members can start a 7-Day free trial and enjoy unlimited access to the platform.
ASKER
@wesly_chen: Yep, that's what I was looking for :) thanks!!
ASKER
Yes, this was what I've been looking :) thanks a lot!
Linux
Linux is a UNIX-like open source operating system with hundreds of distinct distributions, including: Fedora, openSUSE, Ubuntu, Debian, Slackware, Gentoo, CentOS, and Arch Linux. Linux is generally associated with web and database servers, but has become popular in many niche industries and applications.
71K
Questions
--
Followers
--
Top Experts
Get a personalized solution from industry experts
TRUSTED BY
