Commit 4be7c467 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Remove outdated version constraint.

parent de116efc
......@@ -14,14 +14,14 @@ In short, installation proceeds as follows.
After unpacking the distribution, go to the newly created directory
\texttt{why3-\whyversion}. Compilation must start with a
configuration phase which is run as
configuration phase which is run as
\begin{verbatim}
./configure
\end{verbatim}
This analyzes your current configuration and checks if requirements hold.
Compilation requires:
\begin{itemize}
\item The Objective Caml compiler, version 3.11.2 or higher. It is
\item The Objective Caml compiler. It is
available as a binary package for most Unix distributions. For
Debian-based Linux distributions, you can install the packages
\begin{verbatim}
......
Markdown is supported
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