Commit b10c6639 authored by POTTIER Francois's avatar POTTIER Francois

Renamed/moved some directories.

parent 8ce06229
......@@ -8,10 +8,15 @@ all:
# Compile the generator.
make -C generator
# Compile the Coq theory.
# make -C src
# make -C lib/coq
# ------------------------------------------------------------------------------
# We install:
# the executable in $(PREFIX)/bin
# the Coq library in $(PREFIX)/lib/coq
# the OCaml library in $(PREFIX)/lib/ocaml
ifndef PREFIX
# TEMPORARY
PREFIX := local
......@@ -31,12 +36,20 @@ install: all
mkdir -p $(PREFIX)/bin
cp generator/main.native $(PREFIX)/bin/cfml
# Copy the Coq theory.
cp -r src $(PREFIX)/lib
cd $(PREFIX)/lib && rm -f Makefile *.v.d *.glob
mkdir -p $(PREFIX)/lib
cp -r lib/coq $(PREFIX)/lib
cd $(PREFIX)/lib/coq && rm -f Makefile *.v.d *.glob
# Copy the OCaml standard library (plus additions) and compile it.
mkdir -p $(PREFIX)/camllib
cp -r $(MLI) $(PREFIX)/camllib
cp Makefile.camllib $(PREFIX)/camllib/Makefile
make MAKECMJ=$(MAKECMJ) MYOCAMLDEP=$(MYOCAMLDEP) -C $(PREFIX)/camllib
cd $(PREFIX)/camllib && rm -f .depend Makefile
mkdir -p $(PREFIX)/lib/ocaml
cp -r $(MLI) $(PREFIX)/lib/ocaml
cp Makefile.camllib $(PREFIX)/lib/ocaml/Makefile
make MAKECMJ=$(MAKECMJ) MYOCAMLDEP=$(MYOCAMLDEP) -C $(PREFIX)/lib/ocaml
cd $(PREFIX)/lib/ocaml && rm -f .depend Makefile
# ------------------------------------------------------------------------------
# For README.html:
%.html: %.md
pandoc -o $@ $<
......@@ -2,12 +2,6 @@
% Arthur Charguéraud, with contributions from others.
% License : GNU GPL v3.
To view this file in html format, run:
pandoc README.md -o README.html
Description
===========
......@@ -17,4 +11,8 @@ CFML consists of two parts:
- a Coq library, which exports definitions, lemmas and tactics
used to manipulate characteristic formulae.
Documentation
-
See doc/doc.html.
include ../../Makefile.config
INCLUDE := -I $(TLC)
include ../../Makefile.coq
include ../Makefile.config
INCLUDE := -I $(TLC)
include ../Makefile.coq
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