1. 4e22910 Makefile: Adapt $(space) definition by Angel Pons · 6 years ago
  2. bd0ed91 Makefile: Revise support for generated sources by Nico Huber · 8 years ago
  3. 36934fb Add `debug.adc` and option DEBUG by Nico Huber · 9 years ago
  4. ba37830 Makefile: Install generated spec files too by Nico Huber · 9 years ago
  5. 78ca582 Makefile: Compile binder's output w/o gnat config by Nico Huber · 9 years ago
  6. f43881f Makefile: Add support to bind/link application binaries by Nico Huber · 9 years ago
  7. 9d5d025 Makefile: Remove -gnatg from ADAFLAGS by Nico Huber · 9 years ago
  8. e86fff9 Makefile: Add simple compilation rule for C by Nico Huber · 9 years ago
  9. cf01ab6 Makefile: Fix whitespace and syntax highlighting nits by Nico Huber · 9 years ago
  10. 868915f Makefile: Add support for out-of-tree sources by Nico Huber · 9 years ago
  11. f86fb18 Makefile: Add a strip_quotes macro by Nico Huber · 10 years ago
  12. 5e9b1b5 Initial upstream commit by Nico Huber · 10 years ago