build
changeset 2781 0d6fcae3ae45
parent 2775 7a4989d685d6
child 2789 69cf3aea45ee
equal deleted inserted replaced
2780:1dc77f6d83e1 2781:0d6fcae3ae45
    31 read
    31 read
    32 
    32 
    33 
    33 
    34 ## build it
    34 ## build it
    35 
    35 
    36 # FIXME isatool makelogics
    36 export THIS_IS_ISABELLE_BUILD=true
    37 
    37 
    38 for DIR in $LOGICS
    38 for DIR in $LOGICS
    39 do
    39 do
    40   ( cd src/$DIR; $ISATOOL make)
    40   ( cd src/$DIR; $ISATOOL make)
    41 done
    41 done