Commit e72f3e8c authored by Guillaume Melquiond's avatar Guillaume Melquiond

Split away examples that need CoqInterval.

parent 277dd132
......@@ -33,19 +33,24 @@ FILES = \
OBJS = $(addprefix src/,$(addsuffix o,$(FILES)))
EXAMPLES = \
Double_round_beta_odd.v \
Average.v \
Double_round_beta_odd.v
MORE_EXAMPLES = \
Sqrt_sqr.v \
average.v \
Triangle.v
EOBJS = $(addprefix examples/,$(addsuffix o,$(EXAMPLES)))
MOBJS = $(addprefix examples/,$(addsuffix o,$(MORE_EXAMPLES)))
.PHONY: all clean dist doc install
.PHONY: all check check-more clean dist doc install
all: $(OBJS)
check: $(EOBJS)
check-more: $(MOBJS)
Remakefile: Remakefile.in config.status
./config.status Remakefile
......@@ -61,7 +66,7 @@ configure config.status: configure.in
@COQC@ -R src Flocq $<
clean:
rm -f $(OBJS) $(EOBJS) src/*.glob examples/*.glob
rm -f $(OBJS) $(EOBJS) $(MOBJS) 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