Skip to content
Snippets Groups Projects
Commit 4a0476ff authored by Simon Marlow's avatar Simon Marlow
Browse files

[project @ 1998-03-17 15:39:06 by simonm] 

configure HaveLibGmp.
parent 81464dc6
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 1 deletion
mk/config.mk.in
+ 5
− 1
View file @ 4a0476ff
......@@ -328,7 +328,6 @@ HappyBinDistShScripts = happy
#
#################################################################################
#################################################################################
#
# nofib project
......@@ -535,6 +534,11 @@ else
endif
endif
#-----------------------------------------------------------------------------
# GMP Library
#
HaveLibGmp = @HaveLibGmp@
#-----------------------------------------------------------------------------
# Flex
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment