summaryrefslogtreecommitdiff
path: root/gcc/doc/install.texi
diff options
context:
space:
mode:
authorspop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>2015-12-17 18:50:05 +0000
committerspop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>2015-12-17 18:50:05 +0000
commit71130ef83b18d2ab7be350b472cfc4f56b9f876b (patch)
tree7f5e57b4637b32e153d20b7805595417c9f2990f /gcc/doc/install.texi
parentf12d4c107a7a38b10720f4fa074e6838a85809ef (diff)
downloadgcc-71130ef83b18d2ab7be350b472cfc4f56b9f876b.tar.gz
replace ISL with isl
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@231784 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc/install.texi')
-rw-r--r--gcc/doc/install.texi8
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 81cadb5ed59..7f4c414712a 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -383,14 +383,14 @@ installed but it is not in your default library search path, the
@option{--with-mpc} configure option should be used. See also
@option{--with-mpc-lib} and @option{--with-mpc-include}.
-@item ISL Library version 0.15 or 0.14.
+@item isl Library version 0.15 or 0.14.
Necessary to build GCC with the Graphite loop optimizations.
It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
-If an ISL source distribution is found
+If an isl source distribution is found
in a subdirectory of your GCC sources named @file{isl}, it will be
built together with GCC. Alternatively, the @option{--with-isl} configure
-option should be used if ISL is not installed in your default library
+option should be used if isl is not installed in your default library
search path.
@end table
@@ -1850,7 +1850,7 @@ a cross compiler, they will not be used to configure target libraries.
@item --with-isl=@var{pathname}
@itemx --with-isl-include=@var{pathname}
@itemx --with-isl-lib=@var{pathname}
-If you do not have the ISL library installed in a standard location and you
+If you do not have the isl library installed in a standard location and you
want to build GCC, you can explicitly specify the directory where it is
installed (@samp{--with-isl=@/@var{islinstalldir}}). The
@option{--with-isl=@/@var{islinstalldir}} option is shorthand for