Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/IsaMakefile
changeset 27204 eed29f78dd9b
parent 26957 e3f04fdd994d
child 27339 07194f87f9d0
equal deleted inserted replaced
27203:9f02853e3f5b 27204:eed29f78dd9b 
    19 LOG = $(OUT)/log
 
    19 LOG = $(OUT)/log
 
    20 
    20 
    21 
    21 
    22 ## Pure
 
    22 ## Pure
 
    23 
    23 
    24 Pure: $(OUT)/Pure$(ML_SUFFIX)
 
    24 Pure: $(OUT)/Pure
 
    25 
    25 
    26 $(OUT)/Pure$(ML_SUFFIX): General/ROOT.ML General/alist.ML		\
 
    26 $(OUT)/Pure: General/ROOT.ML General/alist.ML General/balanced_tree.ML	\
 
    27   General/balanced_tree.ML General/basics.ML General/buffer.ML		\
 
    27   General/basics.ML General/buffer.ML General/file.ML General/graph.ML	\
 
    28   General/file.ML General/graph.ML General/heap.ML General/history.ML	\
 
    28   General/heap.ML General/history.ML General/integer.ML			\
 
    29   General/integer.ML General/markup.ML General/name_space.ML		\
 
    29   General/markup.ML General/name_space.ML General/ord_list.ML		\
 
    30   General/ord_list.ML General/output.ML General/path.ML			\
 
    30   General/output.ML General/path.ML General/position.ML			\
 
    31   General/position.ML General/pretty.ML General/print_mode.ML		\
 
    31   General/pretty.ML General/print_mode.ML General/scan.ML		\
 
    32   General/scan.ML General/secure.ML General/seq.ML General/source.ML	\
 
    32   General/secure.ML General/seq.ML General/source.ML General/stack.ML	\
 
    33   General/stack.ML General/susp.ML General/symbol.ML General/table.ML	\
 
    33   General/susp.ML General/symbol.ML General/table.ML General/url.ML	\
 
    34   General/url.ML General/xml.ML General/yxml.ML Isar/ROOT.ML		\
 
    34   General/xml.ML General/yxml.ML Isar/ROOT.ML Isar/antiquote.ML		\
 
    35   Isar/antiquote.ML Isar/args.ML Isar/attrib.ML Isar/auto_bind.ML	\
 
    35   Isar/args.ML Isar/attrib.ML Isar/auto_bind.ML Isar/calculation.ML	\
 
    36   Isar/calculation.ML Isar/class.ML Isar/code.ML Isar/code_unit.ML	\
 
    36   Isar/class.ML Isar/code.ML Isar/code_unit.ML Isar/constdefs.ML	\
 
    37   Isar/constdefs.ML Isar/context_rules.ML Isar/element.ML		\
 
    37   Isar/context_rules.ML Isar/element.ML Isar/find_theorems.ML		\
 
    38   Isar/find_theorems.ML Isar/instance.ML Isar/isar.ML Isar/isar_cmd.ML	\
 
    38   Isar/instance.ML Isar/isar.ML Isar/isar_cmd.ML Isar/isar_syn.ML	\
 
    39   Isar/isar_syn.ML Isar/local_defs.ML Isar/local_syntax.ML		\
 
    39   Isar/local_defs.ML Isar/local_syntax.ML Isar/local_theory.ML		\
 
    40   Isar/local_theory.ML Isar/locale.ML Isar/method.ML Isar/net_rules.ML	\
 
    40   Isar/locale.ML Isar/method.ML Isar/net_rules.ML Isar/object_logic.ML	\
 
    41   Isar/object_logic.ML Isar/obtain.ML Isar/outer_keyword.ML		\
 
    41   Isar/obtain.ML Isar/outer_keyword.ML Isar/outer_lex.ML		\
 
    42   Isar/outer_lex.ML Isar/outer_parse.ML Isar/outer_syntax.ML		\
 
    42   Isar/outer_parse.ML Isar/outer_syntax.ML Isar/overloading.ML		\
 
    43   Isar/overloading.ML Isar/proof.ML Isar/proof_context.ML		\
 
    43   Isar/proof.ML Isar/proof_context.ML Isar/proof_display.ML		\
 
    44   Isar/proof_display.ML Isar/proof_history.ML Isar/rule_cases.ML	\
 
    44   Isar/proof_history.ML Isar/rule_cases.ML Isar/rule_insts.ML		\
 
    45   Isar/rule_insts.ML Isar/session.ML Isar/skip_proof.ML			\
 
    45   Isar/session.ML Isar/skip_proof.ML Isar/spec_parse.ML			\
 
    46   Isar/spec_parse.ML Isar/specification.ML Isar/subclass.ML		\
 
    46   Isar/specification.ML Isar/subclass.ML Isar/theory_target.ML		\
 
    47   Isar/theory_target.ML Isar/toplevel.ML ML-Systems/alice.ML		\
 
    47   Isar/toplevel.ML ML-Systems/alice.ML ML-Systems/exn.ML		\
 
    48   ML-Systems/exn.ML ML-Systems/multithreading.ML ML-Systems/mosml.ML	\
 
    48   ML-Systems/multithreading.ML ML-Systems/mosml.ML			\
 
    49   ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML	\
 
    49   ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML	\
 
    50   ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML			\
 
    50   ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML			\
 
    51   ML-Systems/polyml-4.2.0.ML ML-Systems/polyml-5.0.ML			\
 
    51   ML-Systems/polyml-4.2.0.ML ML-Systems/polyml-5.0.ML			\
 
    52   ML-Systems/polyml-5.1.ML ML-Systems/polyml_common.ML			\
 
    52   ML-Systems/polyml-5.1.ML ML-Systems/polyml_common.ML			\
 
    53   ML-Systems/polyml.ML ML-Systems/polyml_old_compiler4.ML		\
 
    53   ML-Systems/polyml.ML ML-Systems/polyml_old_compiler4.ML		\
 
    54   ML-Systems/polyml_old_compiler5.ML ML-Systems/poplogml.ML		\
 
    54   ML-Systems/polyml_old_compiler5.ML ML-Systems/proper_int.ML		\
 
    55   ML-Systems/proper_int.ML ML-Systems/smlnj.ML				\
 
    55   ML-Systems/smlnj.ML ML-Systems/system_shell.ML			\
 
    56   ML-Systems/system_shell.ML ML-Systems/time_limit.ML			\
 
    56   ML-Systems/time_limit.ML ML-Systems/universal.ML ML/ml_context.ML	\
 
    57   ML-Systems/universal.ML ML/ml_context.ML ML/ml_lex.ML ML/ml_parse.ML	\
 
    57   ML/ml_lex.ML ML/ml_parse.ML ML/ml_syntax.ML Proof/extraction.ML	\
 
    58   ML/ml_syntax.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML	\
 
    58   Proof/proof_rewrite_rules.ML Proof/proof_syntax.ML			\
 
    59   Proof/proof_syntax.ML Proof/proofchecker.ML Proof/reconstruct.ML	\
 
    59   Proof/proofchecker.ML Proof/reconstruct.ML ProofGeneral/ROOT.ML	\
 
    60   ProofGeneral/ROOT.ML ProofGeneral/pgip.ML ProofGeneral/pgip_input.ML	\
 
    60   ProofGeneral/pgip.ML ProofGeneral/pgip_input.ML			\
 
    61   ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML		\
 
    61   ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML		\
 
    62   ProofGeneral/pgip_output.ML ProofGeneral/pgip_parser.ML		\
 
    62   ProofGeneral/pgip_output.ML ProofGeneral/pgip_parser.ML		\
 
    63   ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML			\
 
    63   ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML			\
 
    64   ProofGeneral/pgml_isabelle.ML ProofGeneral/preferences.ML		\
 
    64   ProofGeneral/pgml_isabelle.ML ProofGeneral/preferences.ML		\
 
    65   ProofGeneral/proof_general_emacs.ML					\
 
    65   ProofGeneral/proof_general_emacs.ML					\
 
    84 
    84 
    85 ## special targets
 
    85 ## special targets
 
    86 
    86 
    87 Pure-ProofGeneral: Pure $(LOG)/Pure-ProofGeneral.gz
 
    87 Pure-ProofGeneral: Pure $(LOG)/Pure-ProofGeneral.gz
 
    88 
    88 
    89 $(LOG)/Pure-ProofGeneral.gz: $(OUT)/Pure$(ML_SUFFIX) ProofGeneral/proof_general_keywords.ML
 
    89 $(LOG)/Pure-ProofGeneral.gz: $(OUT)/Pure ProofGeneral/proof_general_keywords.ML
 
    90 	@$(ISATOOL) usedir -f proof_general_keywords.ML $(OUT)/Pure ProofGeneral
 
    90 	@$(ISATOOL) usedir -f proof_general_keywords.ML $(OUT)/Pure ProofGeneral
 
    91 
    91 
    92 
    92 
    93 RAW: $(OUT)/RAW
 
    93 RAW: $(OUT)/RAW
 
    94 
    94 
    97   ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML	\
 
    97   ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML	\
 
    98   ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML			\
 
    98   ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML			\
 
    99   ML-Systems/polyml-4.2.0.ML ML-Systems/polyml-5.0.ML			\
 
    99   ML-Systems/polyml-4.2.0.ML ML-Systems/polyml-5.0.ML			\
 
   100   ML-Systems/polyml-5.1.ML ML-Systems/polyml_common.ML			\
 
   100   ML-Systems/polyml-5.1.ML ML-Systems/polyml_common.ML			\
 
   101   ML-Systems/polyml.ML ML-Systems/polyml_old_compiler4.ML		\
 
   101   ML-Systems/polyml.ML ML-Systems/polyml_old_compiler4.ML		\
 
   102   ML-Systems/polyml_old_compiler5.ML ML-Systems/poplogml.ML		\
 
   102   ML-Systems/polyml_old_compiler5.ML ML-Systems/proper_int.ML		\
 
   103   ML-Systems/proper_int.ML ML-Systems/smlnj.ML				\
 
   103   ML-Systems/smlnj.ML ML-Systems/system_shell.ML			\
 
   104   ML-Systems/system_shell.ML ML-Systems/time_limit.ML			\
 
   104   ML-Systems/time_limit.ML ML-Systems/universal.ML
 
   105   ML-Systems/universal.ML
 
       
   106 	@./mk -r
 
   105 	@./mk -r
 
   107 
   106 
   108 
   107 
   109 ## clean
 
   108 ## clean
 
   110 
   109 
   111 clean:
 
   110 clean:
 
   112 	@rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(LOG)/Pure-ProofGeneral.gz \
 
   111 	@rm -f $(OUT)/Pure $(LOG)/Pure.gz $(LOG)/Pure-ProofGeneral.gz \
 
   113           $(OUT)/RAW $(LOG)/RAW.gz
 
   112           $(OUT)/RAW $(LOG)/RAW.gz
isabelle