Skip to content
Snippets Groups Projects
  1. Apr 08, 2021
  2. May 24, 2020
  3. Feb 26, 2020
  4. Dec 17, 2019
  5. Jan 09, 2019
    • Jö Fahlke's avatar
      Fix, modernize and document check for existing modules · a40a591b
      Jö Fahlke authored
      Fixes:
      - Use unambiguous truth values (Closes: #134)
      - When checking with pkg-config, look for the dependency rather than the last
        module from the list of found modules
      
      Modernizations:
      - Scope variables
      - Use a simple `if` rather than a loop to check for presence of a depency in
        list of existing modules
      - Make sure the function does not depend on the status of the `-e` option, or
        whether it is called from within the condition of an `if` or a `||` or `&&`.
      
      Documentation:
      - Document calling convention for the function and assumptions on the
        parameters.
      a40a591b
    • Jö Fahlke's avatar
      bin/duneproject: Expand tabs and fix indentation · 4a045958
      Jö Fahlke authored
      As a shell script, duneproject is not covered by the scripts preventing tabs
      in indentation (or simply was exempt from the Great Reformatting).  Also, the
      tab width was inconsistent.
      
      This expands all tabs and uses a consistent indentation of 2.  It also
      instructs both emacs and vi to use these settings, since their default
      indentation for shell scripts seems to differ.
      4a045958
  6. Aug 21, 2018
  7. Jan 06, 2018
  8. Sep 19, 2017
  9. Sep 18, 2017
  10. Mar 15, 2017
  11. Mar 03, 2017
  12. Sep 05, 2016
    • Ansgar Burchardt's avatar
      Remove `autogen` command · e1f67696
      Ansgar Burchardt authored and Christoph Grüninger's avatar Christoph Grüninger committed
      Remove the `autogen` command from `dunecontrol`.  After the removal of
      autotools support, running `dunecontrol autogen` would just return an
      error anyway:
      
      ```
          $ ./dunecontrol --only=dune-common autogen
          [...]
          ./dune-common/bin/dunecontrol: line 341: run_default_autogen: command not found
          [...]
      ```
      
      In addition the `dune-autogen` script was already removed in
      4935e077.
      e1f67696
  13. Sep 02, 2016
  14. Jul 11, 2016
  15. Mar 09, 2016
  16. Feb 24, 2016
  17. Dec 02, 2015
  18. Dec 01, 2015
  19. Sep 12, 2015
  20. Aug 15, 2015
  21. Jun 30, 2015
  22. May 12, 2015
  23. May 11, 2015
  24. Apr 14, 2015
  25. Mar 18, 2015
  26. Mar 04, 2015
  27. Mar 03, 2015
  28. Feb 19, 2015
  29. Jan 22, 2015
Loading