pgi-mpi module added
This commit is contained in:
16
Tools/pkg-config/modulefile
Normal file
16
Tools/pkg-config/modulefile
Normal file
@@ -0,0 +1,16 @@
|
||||
#%PModule
|
||||
|
||||
module-whatis "helper tool used when compiling applications and libraries"
|
||||
module-url "https://www.freedesktop.org/wiki/Software/pkg-config/"
|
||||
module-license "GNU GPL v2"
|
||||
module-maintainer "Achim Gsell <achim.gsell@psi.ch>"
|
||||
|
||||
module-help "
|
||||
pkg-config is a helper tool used when compiling applications and libraries.
|
||||
It helps you insert the correct compiler options on the command line so an
|
||||
application can use gcc -o test test.c `pkg-config --libs --cflags glib-2.0`
|
||||
for instance, rather than hard-coding values on where to find glib (or other
|
||||
libraries). It is language-agnostic, so it can be used for defining the
|
||||
location of documentation tools, for instance.
|
||||
"
|
||||
|
||||
Reference in New Issue
Block a user