Skip to content
Snippets Groups Projects
  1. Mar 19, 2014
    • Christian Engwer's avatar
      [dunecontrol] support out-of-tree builds · 807e48b6
      Christian Engwer authored
      up to now you could specify a BUILDDIR variable, which implied that modules were built in
      $srdir/$BUILDDIR.
      Imagine you have your dune modules in $HOME/Src. When you set BUILDDIR=build.g++
      your dune-common module is built in $HOME/Src/dune-common/build.g++
      Now you change BUILDDIR to an absolute path, e.g. BUILDDIR=$HOME/Build.g++
      With the latest change dunecontrol will now build dune-common in
      $HOME/Build.g++/dune-common/
      
      Thanks to Angar for bugging me :-)
      807e48b6
    • Tobias Malkmus's avatar
      [bugfix] distribute new headers · 53249e43
      Tobias Malkmus authored
      53249e43
  2. Mar 18, 2014
  3. Mar 14, 2014
  4. Mar 12, 2014
  5. Mar 09, 2014
  6. Mar 06, 2014
  7. Mar 05, 2014
  8. Mar 04, 2014
  9. Feb 28, 2014
  10. Feb 27, 2014
  11. Feb 24, 2014
  12. Feb 20, 2014
  13. Feb 19, 2014
  14. Feb 16, 2014
  15. Feb 14, 2014
Loading