projects / barrelfish / search
| 2015-08-31 | David Cock | Document Haskell package dependencies for Hake Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-31 | David Cock | Updated harness builds to match hake.sh Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-31 | David Cock | Fixed a broken tool path Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-31 | David Cock | Consolidated toolchain selection Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-31 | David Cock | Quieted make a little. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-31 | David Cock | Add explicit dependency from asmoffsets.s to errno.h Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-31 | David Cock | Don't run hake twice for 'make rehake' Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-31 | David Cock | Updated hake build rules Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-30 | David Cock | More reasonable error output from Hake Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-28 | David Cock | Removed ARM11MP - unsupported and non-functional. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-28 | David Cock | Update -j N guidance Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-28 | David Cock | XScale builds Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-28 | David Cock | Made optimisation flags overridable per-platform. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-28 | David Cock | armv7-m (heteropanda) builds. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-28 | David Cock | Better description of hake phases Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-28 | David Cock | Make hake.sh parallelism configurable (-j N) Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-28 | David Cock | ARMv5 & XScale build. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-27 | David Cock | Add -Wformat explicitly wherever -Wformat-security... Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-27 | David Cock | Made lib/numa compile on x86_32 Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-27 | David Cock | New-style Xeon Phi build Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-27 | David Cock | Removed SCC Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-27 | David Cock | Merge branch 'master' into hake-platforms Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-24 | David Cock | Set RTSOPTS on build Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-24 | David Cock | Cleanup Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-24 | David Cock | Cleanup Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-24 | David Cock | Generate source-tree relative filenames straight away |
commit | commitdiff | tree |
| 2015-08-24 | David Cock | TreeDB merge operation Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-24 | David Cock | Keep directory lists sorted |
commit | commitdiff | tree |
| 2015-08-24 | David Cock | Fixed a few bugs in the new search combinators Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-23 | David Cock | Replaced allfiles list with a Trie Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-21 | David Cock | Wasn't outputting Target tokens Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-21 | David Cock | Switched from hake.Path to System.FilePath Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-21 | David Cock | Cleanup Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-19 | David Cock | Walk directories in parallel (async) Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-19 | David Cock | Use a set for arch comparison, 9.0s Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-19 | David Cock | Sped up path manipulation, down to 9.2s Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-19 | David Cock | Down to 12s, targets build |
commit | commitdiff | tree |
| 2015-08-19 | David Cock | Dependency generation for Flounder bindings relies... Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-18 | David Cock | Replaced old hake Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-17 | David Cock | Generates a Makefile Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-17 | David Cock | WIP on a faster hake Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-14 | David Cock | harness: Default to an empty list, not None. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-14 | David Cock | kernel: Interaction of braces with #ifdefs was breaking... Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-12 | David Cock | Squashed a bug in paging code from the ARMv8 branch. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-12 | David Cock | Merge branch 'armv8' Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-12 | David Cock | Toolchain selection when bootstrapping builds Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-11 | David Cock | Include modules_common in x86 builds Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-11 | David Cock | Generic modules shouldn't be listed under <arch>/ Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-11 | David Cock | Make build_pandaboard_image.sh use global ARM_GCC Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-11 | David Cock | Made errval_t a flounder builtin. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-08-06 | David Cock | Made errval_t a flounder builtin. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-07-08 | David Cock | Marked problematic code in ARM subtree. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-07-08 | David Cock | Remove serial port hardcoding. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |
| 2015-07-08 | David Cock | Seperated the tool prefix from the tool name for ARMv8. Signed-off-by: David Cock <david.cock@inf.ethz.ch> |
commit | commitdiff | tree |