Make

# Includes
##########
-I src
-R theories Cybele

## Targets
##########
CMX_TARGETS = "\
  src/cybeleConstants.cmx \
  src/cybeleState.cmx \
  src/cybeleDynamicCompilation.cmx \
  src/cybele.cmx \
  src/cybelePluginModule.cmx"

CMO_TARGETS = $(CMX_TARGETS:.cmx=.cmo)

# Custom variables
##################
COQEPLUGIN = "src/cybelePlugin.cma"
COQEPLUGINOPT = "src/cybelePlugin.cmxs"
COQDOC = "$(COQBIN)coqdoc -interpolate -utf8"
CAMLP4OPTIONS = "-loc loc"

# Compilation units
###################
src/cybeleConstants.ml
src/cybeleState.mli
src/cybeleState.ml
src/cybeleDynamicCompilation.mli
src/cybeleDynamicCompilation.ml
src/cybele.ml4
src/cybelePluginModule.ml
src/cybelePlugin.mllib
theories/Cybele.v
theories/DataStructures.v
theories/Map.v
theories/Memoization.v
theories/Monad.v
theories/Reifiable.v