Commit 6fe105d6 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Added missing file.

parent 631bf464
FILES = \
Flocq_Raux.v \
Flocq_defs.v \
Flocq_float_prop.v \
Flocq_Raux.v \
Flocq_rnd_ex.v \
Flocq_rnd_FIX.v \
Flocq_rnd_FLT.v \
Flocq_rnd_FLX.v \
Flocq_rnd_ex.v \
Flocq_rnd_prop.v
data_DATA = $(FILES:=o)
......
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