src/Pure/mk
changeset 2340 74a01a9f325d
parent 2339 2d5551c8dec0
child 2401 0293bc1cecfc
equal deleted inserted replaced
2339:2d5551c8dec0 2340:74a01a9f325d
     3 # $Id$
     3 # $Id$
     4 #
     4 #
     5 # mk - build Pure Isabelle.
     5 # mk - build Pure Isabelle.
     6 #
     6 #
     7 # Notes:
     7 # Notes:
     8 #   (1) edit etc/settings approprately
     8 #   (1) make sure the Isabelle bin dir is in PATH (try 'which isabelle')
     9 #   (2) cd here and run ./mk
     9 #   (2) make sure etc/settings are appropriate
    10 #
    10 #   (3) then cd here and run ./mk
    11 
    11 
    12 
    12 
    13 ## diagnostics
    13 ## diagnostics
    14 
    14 
    15 function fail()
    15 function fail()