Commit 764a23e1 authored by POTTIER Francois's avatar POTTIER Francois

List the components of MenhirLib in dependency order.

parent f67f5e4c
# If you change this list, please also update the files LICENSE
# and GNUmakefile in the toplevel directory.
Convert
Engine
EngineTypes
# This is the list of modules that must go into MenhirLib.
# Thy must be listed in dependency order, as this list is
# used to construct menhirLib.ml at installation time.
General
Convert
IncrementalEngine
EngineTypes
Engine
Printers
InfiniteArray
InspectionTableFormat
InspectionTableInterpreter
LinearizedArray
PackedIntArray
Printers
RowDisplacement
LinearizedArray
TableFormat
InspectionTableFormat
InspectionTableInterpreter
TableInterpreter
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