Skip to content

GitLab

Commit 236ffeda authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

remove more generated files

parent 69f36880
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 890 deletions
exercises/Makefile.coq.conf deleted 100644 → 0
View file @ 69f36880
# This configuration file was generated by running:
# coq_makefile -f _CoqProject -o Makefile.coq
###############################################################################
# #
# Project files. #
# #
###############################################################################
COQMF_VFILES = ex_01_swap.v ex_02_sumlist.v ex_03_spinlock.v ex_04_parallel_add.v ex_05_parallel_add_mul.v
COQMF_MLIFILES =
COQMF_MLFILES =
COQMF_ML4FILES =
COQMF_MLPACKFILES =
COQMF_MLLIBFILES =
###############################################################################
# #
# Path directives (-I, -R, -Q). #
# #
###############################################################################
COQMF_OCAMLLIBS =
COQMF_SRC_SUBDIRS =
COQMF_COQLIBS = -Q . tutorial
COQMF_COQLIBS_NOML = -Q . tutorial
###############################################################################
# #
# Coq configuration. #
# #
###############################################################################
COQMF_LOCAL=1
COQMF_COQLIB=/home/robbert/coq/coq-8.7.0//
COQMF_DOCDIR=/home/robbert/coq/coq-8.7.0/doc/
COQMF_OCAMLFIND=/usr/bin/ocamlfind
COQMF_CAMLP4=camlp5
COQMF_CAMLP4O=/usr/bin/camlp5o
COQMF_CAMLP4BIN=/usr/bin/
COQMF_CAMLP4LIB=/usr/lib/ocaml/camlp5
COQMF_CAMLP4OPTIONS=-loc loc
COQMF_CAMLFLAGS=-thread -rectypes -w +a-4-9-27-41-42-44-45-48-50 -safe-string
COQMF_HASNATDYNLINK=true
COQMF_COQ_SRC_SUBDIRS=config dev lib kernel library engine pretyping interp parsing proofs tactics toplevel printing intf grammar ide stm vernac plugins/btauto plugins/cc plugins/derive plugins/extraction plugins/firstorder plugins/fourier plugins/funind plugins/ltac plugins/micromega plugins/nsatz plugins/omega plugins/quote plugins/romega plugins/rtauto plugins/setoid_ring plugins/ssr plugins/ssrmatching plugins/syntax plugins/xml
COQMF_WINDRIVE=/home/robbert/coq/coq-8.7.0
###############################################################################
# #
# Extra variables. #
# #
###############################################################################
COQMF_OTHERFLAGS = -w -notation-overridden,-redundant-canonical-projection,-several-object-files
COQMF_INSTALLCOQDOCROOT = tutorial
solutions/Makefile.coq deleted 100644 → 0
View file @ 69f36880
This diff is collapsed.
solutions/Makefile.coq.conf deleted 100644 → 0
View file @ 69f36880
# This configuration file was generated by running:
# coq_makefile -f _CoqProject -o Makefile.coq
###############################################################################
# #
# Project files. #
# #
###############################################################################
COQMF_VFILES = ex_01_swap.v ex_02_sumlist.v ex_03_spinlock.v ex_04_parallel_add.v ex_05_parallel_add_mul.v
COQMF_MLIFILES =
COQMF_MLFILES =
COQMF_ML4FILES =
COQMF_MLPACKFILES =
COQMF_MLLIBFILES =
###############################################################################
# #
# Path directives (-I, -R, -Q). #
# #
###############################################################################
COQMF_OCAMLLIBS =
COQMF_SRC_SUBDIRS =
COQMF_COQLIBS = -Q . tutorial
COQMF_COQLIBS_NOML = -Q . tutorial
###############################################################################
# #
# Coq configuration. #
# #
###############################################################################
COQMF_LOCAL=1
COQMF_COQLIB=/home/robbert/coq/coq-8.7.0//
COQMF_DOCDIR=/home/robbert/coq/coq-8.7.0/doc/
COQMF_OCAMLFIND=/usr/bin/ocamlfind
COQMF_CAMLP4=camlp5
COQMF_CAMLP4O=/usr/bin/camlp5o
COQMF_CAMLP4BIN=/usr/bin/
COQMF_CAMLP4LIB=/usr/lib/ocaml/camlp5
COQMF_CAMLP4OPTIONS=-loc loc
COQMF_CAMLFLAGS=-thread -rectypes -w +a-4-9-27-41-42-44-45-48-50 -safe-string
COQMF_HASNATDYNLINK=true
COQMF_COQ_SRC_SUBDIRS=config dev lib kernel library engine pretyping interp parsing proofs tactics toplevel printing intf grammar ide stm vernac plugins/btauto plugins/cc plugins/derive plugins/extraction plugins/firstorder plugins/fourier plugins/funind plugins/ltac plugins/micromega plugins/nsatz plugins/omega plugins/quote plugins/romega plugins/rtauto plugins/setoid_ring plugins/ssr plugins/ssrmatching plugins/syntax plugins/xml
COQMF_WINDRIVE=/home/robbert/coq/coq-8.7.0
###############################################################################
# #
# Extra variables. #
# #
###############################################################################
COQMF_OTHERFLAGS = -w -notation-overridden,-redundant-canonical-projection,-several-object-files
COQMF_INSTALLCOQDOCROOT = tutorial
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