Commit 93adad77 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix regeneration of Flocq_version.v.

parent 71a3cfec
Version 2.2.1:
- fixed regeneration of Flocq_version.v
Version 2.2.0:
- added theorems about rounding to odd and double rounding
- improved handling of special values of IEEE-754 arithmetic
......
......@@ -36,6 +36,9 @@ all: $(OBJS)
Remakefile: Remakefile.in config.status
./config.status Remakefile
src/Flocq_version.v: src/Flocq_version.v.in config.status
./config.status src/Flocq_version.v
configure config.status: configure.in
autoconf
./config.status --recheck
......
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