Commit 3cc6ae62 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add a rule to build examples.

parent 7b5eec92
......@@ -32,10 +32,18 @@ FILES = \
OBJS = $(addprefix src/,$(addsuffix o,$(FILES)))
EXAMPLES = \
Double_round_beta_odd.v \
Sqrt_sqr.v
EOBJS = $(addprefix examples/,$(addsuffix o,$(EXAMPLES)))
.PHONY: all clean dist doc install
all: $(OBJS)
check: $(EOBJS)
Remakefile: Remakefile.in config.status
./config.status Remakefile
......@@ -51,7 +59,7 @@ configure config.status: configure.in
@COQC@ -R src Flocq -dont-load-proofs $<
clean:
rm -f $(OBJS) src/*.glob
rm -f $(OBJS) $(EOBJS) src/*.glob examples/*.glob
html/index.html: $(OBJS)
rm -rf html
......
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