Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
1ce26290
Commit
1ce26290
authored
Mar 24, 2014
by
Jean-Christophe Filliâtre
Browse files
fixed configure.in when zarith is installed in subdirectory zarith
parent
9dcd1891
Changes
1
Hide whitespace changes
Inline
Side-by-side
configure.in
View file @
1ce26290
...
...
@@ -354,7 +354,7 @@ if test "$enable_zarith" = yes; then
AC_MSG_WARN([Lib Zarith not found, using Nums instead.])
reason_zarith=" (zarith not found)"
else
BIGINTINCLUDE="+zarith"
BIGINTINCLUDE="
-I
+zarith"
fi
fi
fi
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment