Commits · 931b056a29ae08e8fe4dde71dc0a03f4ee2fe44d · paradise / mirror / DIVINE · GitLab

Snippets Groups Projects

Jun 29, 2019
- cmake: Add libm to include paths. · 931b056a
  Zuzana Baranová authored 5 years ago
  
  931b056a
Jun 12, 2019
- cmake: Fix compile flags for libc++{,abi}. · bfd0d300
  Petr Rockai authored 5 years ago
  
  bfd0d300
- cmake: Build DiOS with -D__ELF__ and -D__unix__. · 6132f2b2
  Petr Rockai authored 5 years ago
  
  6132f2b2
Jun 01, 2019
- cmake: Move stringified native DiOS libraries into their own namespace. · 3913140b
  Petr Rockai authored 5 years ago
  
  3913140b
May 18, 2019
- cmake: Build DiOS per-architecture support code. · a191b97b
  Petr Rockai authored 5 years ago
  
  a191b97b
May 14, 2019
- dios: Build and stringify per-config bitcode files. · b790bc22
  Petr Rockai authored 5 years ago
  
  b790bc22
Feb 04, 2019
- dios: Replace the incorrect _POSIX_C_SOURCE version 2008098 (with 200809). · 9ffc4f57
  Zuzana Baranová authored 6 years ago
  
  9ffc4f57
Dec 14, 2018
- cmake: Actually build dios/libpthread source files. · 8bda5e63
  Petr Rockai authored 6 years ago
  
  8bda5e63
Dec 13, 2018
- cmake: Build libpthread. · c5cfa9d1
  Zuzana Baranová authored 6 years ago
  
  c5cfa9d1
Dec 08, 2018
- cmake: Factor repeating flags in dios/compile-flags.cmake into a variable. · db02a65c
  Petr Rockai authored 6 years ago
  
  db02a65c
Dec 01, 2018
- cmake: Compile the dios libc_cpp with -fno-exceptions and -fno-rtti. · 9a7f0f5c
  Zuzana Baranová authored 6 years ago
  
  9a7f0f5c
Nov 13, 2018
- cmake: Compile the dios kernel with -fno-exceptions. · d4e69956
  Petr Rockai authored 6 years ago
  
  d4e69956
- cmake: Compile the dios kernel with -fno-rtti. · 6c515619
  Petr Rockai authored 6 years ago
  
  6c515619
Jun 10, 2018
- dios: Since runtime-cc no longer accepts -g, use the corresponding cc1 flag. · 7c42aac0
  Petr Rockai authored 6 years ago
  
  7c42aac0
Mar 22, 2018
- cmake: Make stdatomic.h from clang available. · 8c25ece7
  Vladimír Štill authored 7 years ago
  
  8c25ece7
Mar 12, 2018
- cmake: Update DiOS code locations and component names. · 11b5a7f0
  Petr Rockai authored 7 years ago
  
  11b5a7f0
Mar 11, 2018
- cmake: Update the dios/ build system to reflect the runtime -> dios move. · 133e33d5
  Petr Rockai authored 7 years ago
  
  133e33d5
- DiOS: We now consider runtime libs to be part of DiOS. · d1e8bd76
  Petr Rockai authored 7 years ago
  
  d1e8bd76
Mar 05, 2018
- cmake: Update runtime compiler flags as more C++ appears in libc now. · 7306d6c9
  Petr Rockai authored 7 years ago
  
  7306d6c9
Feb 24, 2018
- runtime: Generate a header (hostabi.h) to hold platform-specific definitions. · 987b18bd
  Petr Rockai authored 7 years ago
  
  987b18bd
Jan 26, 2018
- runtime: Add placeholders for headers that live in divine/vm. · ff780c63
  Petr Rockai authored 7 years ago
  
  ff780c63
Sep 27, 2017
- cmake: Fix stringification for lart.h & vmutil.h. · 68fad8f3
  Petr Rockai authored 7 years ago
  
  68fad8f3
Aug 17, 2017
- cmake: Enable -std=c++1z for DIVINE, -std=c++11 is sufficient for toolchain. · 94d5f192
  Vladimír Štill authored 7 years ago
  
  94d5f192
Jun 05, 2017
- cmake: Move runtime compilation flags into a separate file. · 79e62ef4
  Vladimír Štill authored 7 years ago
  
  79e62ef4