# HG changeset patch # User haftmann # Date 1155555979 -7200 # Node ID 049d955cf7164e37134f6a3364fc72301a7ddb72 # Parent 58f65fc90cf403f8de672591a76b69eb530bbfe6 added code generator packages diff -r 58f65fc90cf4 -r 049d955cf716 src/Pure/IsaMakefile --- a/src/Pure/IsaMakefile Mon Aug 14 13:46:17 2006 +0200 +++ b/src/Pure/IsaMakefile Mon Aug 14 13:46:19 2006 +0200 @@ -56,7 +56,10 @@ Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML \ Thy/latex.ML Thy/present.ML Thy/thm_database.ML Thy/thm_deps.ML \ Thy/thy_info.ML Thy/thy_load.ML Tools/ROOT.ML Tools/am_compiler.ML \ - Tools/am_interpreter.ML Tools/am_util.ML Tools/class_package.ML \ + Tools/am_interpreter.ML Tools/am_util.ML \ + Tools/codegen_consts.ML \ + Tools/codegen_names.ML \ + Tools/class_package.ML \ Tools/codegen_package.ML Tools/codegen_serializer.ML \ Tools/codegen_theorems.ML Tools/codegen_simtype.ML \ Tools/codegen_thingol.ML Tools/compute.ML \ diff -r 58f65fc90cf4 -r 049d955cf716 src/Pure/Tools/ROOT.ML --- a/src/Pure/Tools/ROOT.ML Mon Aug 14 13:46:17 2006 +0200 +++ b/src/Pure/Tools/ROOT.ML Mon Aug 14 13:46:19 2006 +0200 @@ -12,6 +12,7 @@ use "../codegen.ML"; (*code generator, 2nd generation*) +use "codegen_consts.ML"; use "codegen_names.ML"; use "codegen_theorems.ML"; use "codegen_thingol.ML";