Commit 4d34df61 authored by Gaspard Ferey's avatar Gaspard Ferey

Added makefile.

parent 4253985e
#NAME cc.
(; max_AC, plus_AC, experiment ;)
Sort : Type.
......
# All supported flags
FLAGS=max_AC plus_AC experiment
DKS=$(shell find ./ -type f -name '*.dk')
all:
@rm -f README.md
@echo "This project contains various implementations of cic.dk\n" >> README.md
@echo -n "| File |" >> README.md
@for fg in $(FLAGS) ; do echo -n " $$fg |" >> README.md ; done
@echo -n "\n" >> README.md
@echo -n "| --- |" >> README.md
@for fg in $(FLAGS) ; do echo -n " --- |" >> README.md ; done
@echo -n "\n" >> README.md
@for dk in $(DKS) ; do \
echo -n "| $$dk |" >> README.md ; \
for fg in $(FLAGS) ; do \
if [ -z $$(head -q -n 1 $$dk | grep "$$fg") ]; then \
echo -n " |" >> README.md ; \
else \
echo -n " X |" >> README.md ; \
fi ; \
done ; \
echo -n "\n" >> README.md ; \
done
This project contains various implementations of cic.dk
| File | max_AC | plus_AC | experiment |
| --- | --- | --- | --- |
| ./AC/cicup.dk | X | X | X |
| ./HOAS/HOAS_to_DBAC.dk | | | |
| ./orig/cic_coqine.dk | | | |
| ./orig/cic.dk | | | |
| ./orig/cic_v2.dk | | | |
| ./old_to_ACU/translation.dk | | | |
| ./old_to_ACU/cicup_v2.dk | | | |
| ./Constraints/cc.dk | | | |
| ./Constraints/idcic.dk | | | |
| ./AC_Gilles/1-original/cc.dk | | | |
| ./AC_Gilles/cicup_maxAC.dk | | | |
| ./AC_Gilles/cicup_0elim.dk | | | |
| ./AC_Gilles/cicup_0elim_maxplus.dk | | | |
| ./example_id.dk | | | |
| ./AC_with_constraints/cic.dk | | | |
#NAME Coq.
(; ;)
(; Natural numbers ;)
......
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