Lines Matching defs:hake
61 $ ../src/hake/hake.sh -s ../src -a x86_64
73 Edit the file \texttt{hake/Config.hs} in your build directory and
78 \section{How to think about hake}
88 Hake consists of the main hake program (which itself contains
98 \section{When hake runs}
317 \item[hake] is used by Hake as part of the bootstrapping process.
328 In the source for hake itself,``path'' usually refers to this path,
332 Here are some examples of hake file locations:
335 \texttt{SrcTree} & \texttt{src} & \texttt{/tools/hake/Main.hs} & Part of the source code for Hake
580 \verb|Args.libraryOs|, and hake provides \verb|Args.makeTarget| to extract the
610 The file \texttt{hake/Config.hs} in the build directory contains all
622 source tree in \texttt{hake/hake.sh}. This script is the place to
626 \texttt{hake.sh} takes the following command-line options:
637 \item[-n,--no-hake:] This option simply rebuilds Hake, but does not
644 After parsing and checking arguments, \texttt{hake.sh} next creates a new
645 configuration file \texttt{hake/Config.hs} in the build tree. The
647 template \texttt{hake/Config.hs.template} in the source tree.
651 persist across multiple bootstrapping runs of \texttt{hake.sh}.
727 \texttt{/hake/hake}, and takes the following command-line arguments:
753 \texttt{hake.sh}), and requires to you have a pre-built Barrelfish
768 $ /projects/barrelfish/install/hake/hake \