Lines Matching full:exec_prefix
1427 `exec_prefix'
1429 variables listed below. The default value of `exec_prefix' should
1431 `@exec_prefix@'.)
1433 Generally, `$(exec_prefix)' is used for directories that contain
1438 Running `make install' with a different value of `exec_prefix'
1448 `$(exec_prefix)/bin'. (If you are using Autoconf, write it as
1455 write it as `$(exec_prefix)/sbin'. (If you are using Autoconf,
1461 `/usr/local/libexec', but write it as `$(exec_prefix)/libexec'.
1615 `/usr/local/lib', but write it as `$(exec_prefix)/lib'. (If you
1688 exec_prefix = $(prefix)
1690 bindir = $(exec_prefix)/bin
1692 libexecdir = $(exec_prefix)/libexec
1744 `exec_prefix', as well as all subdirectories that are needed. One
4299 * exec_prefix: Directory Variables. (line 35)
