diff options
| author | 'Alexey Rodriguez <mrchebas@gmail.com> | 2006-11-09 12:04:14 +0000 |
|---|---|---|
| committer | 'Alexey Rodriguez <mrchebas@gmail.com> | 2006-11-09 12:04:14 +0000 |
| commit | 14591e0d3d238a40d034fb9ddd0ae90688e007eb (patch) | |
| tree | 7eef9fd87b34a313dc748d5ffa4e321ddbcd4a4d /mk | |
| parent | 2b522adea22f77a1c03230f5c9865c00bedb5a5b (diff) | |
| download | haskell-14591e0d3d238a40d034fb9ddd0ae90688e007eb.tar.gz | |
Added configure gadgets to detect Papi, and fixed build problems
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/config.mk.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 996fe6e2e9..9420663263 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -987,6 +987,9 @@ UNAME = uname # GTK+ GTK_CONFIG = @GTK_CONFIG@ +# PAPI +USE_PAPI = @USE_PAPI@ + #----------------------------------------------------------------------------- # DocBook XML stuff |