diff options
| author |   Josh Triplett <josh@freedesktop.org> | 2006-12-05 02:15:02 -0800 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2006-12-05 02:18:19 -0800 |
| commit | 29578cb0d74a842e871038e97e858baf15b1fecc (patch) | |
| tree | 19661ecb4536004633b78d4379263f61abe40646 /.gitignore | |
| parent | Install static library and header files (diff) | |
| download | sparse-29578cb0d74a842e871038e97e858baf15b1fecc.tar.gz sparse-29578cb0d74a842e871038e97e858baf15b1fecc.tar.bz2 sparse-29578cb0d74a842e871038e97e858baf15b1fecc.zip | |
Generate and install a pkg-config file. Add DESTDIR support to Makefile.
The Makefile now generates and installs a pkg-config file, sparse.pc, to
provide information about the installed Sparse library and header files. Use
`pkg-config --cflags sparse` to get the include path, and `pkg-config --libs
sparse` to get the library path and library.
To help packagers of Sparse, also add support for the DESTDIR variable to the
Makefile. DESTDIR allows you to target a particular prefix (such as /usr),
but install to another directory (such as debian/tmp), usually for the
purposes of subsequently constructing a package from that directory.
Previously, just setting PREFIX would work for that, but with the new
pkg-config file, the Makefile needs to know the real prefix.
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6,6 +6,7 @@ # generated pre-process.h +sparse.pc # programs test-lexing |