Skip to content
Snippets Groups Projects
  1. Jan 04, 2007
  2. Dec 21, 2006
  3. Dec 04, 2006
  4. Nov 27, 2006
  5. Nov 21, 2006
  6. Nov 04, 2006
  7. Oct 18, 2006
    • Christian Engwer's avatar
      if the dune.module file is not found for a certain module, dunecontrol · 1130cce0
      Christian Engwer authored
      tries to find an installed module via pkg-config. If pkg-config finds
      an installed module, dunecontrol proceeds, although the module is
      dropped from the internal tree, as installed modules don't need to be
      built. If pkg-config does not find the module, an error is throughn.
      If a dune.module file is found, installed versions of the module are
      ignored.
      
      
      [[Imported from SVN: r4741]]
      1130cce0
  8. Oct 16, 2006
  9. Oct 13, 2006
    • Christian Engwer's avatar
      * fixed bashisms · 1ac88848
      Christian Engwer authored
      * added support for environment variables $MAKE and $GREP to dunecontrol
      * updated buildsystemhowto
      
      [[Imported from SVN: r4721]]
      1ac88848
  10. Oct 12, 2006
  11. Oct 11, 2006
  12. Oct 09, 2006
  13. Aug 25, 2006
  14. Aug 08, 2006
  15. Aug 07, 2006
  16. Aug 03, 2006
  17. Aug 01, 2006
    • Christian Engwer's avatar
      fixed option --only · 6f7bba33
      Christian Engwer authored
      [[Imported from SVN: r4659]]
      6f7bba33
    • Christian Engwer's avatar
      dunecontrol now supports a DUNE_CONTROL_PATH environment variable. · 02f33c76
      Christian Engwer authored
      The variable contains a colon seperated list of directories where
      dunecontrol searchs recursively for dune.module files.
      
      You can specify the variable
      i.e.
      
      export DUNE_CONTROL_PATH=~/AllMyFancyDuneProjects:~/DirectoryContainingTheDuneModules
      
      dunecontrol will now search for dune.module files in ~/AllMyFancyDuneProjects and
      ~/DirectoryContainingTheDuneModules
      
      
      [[Imported from SVN: r4654]]
      02f33c76
  18. Jul 27, 2006
  19. Jul 24, 2006
  20. Jul 18, 2006
  21. Jul 17, 2006
  22. Jul 12, 2006
  23. Jul 11, 2006
  24. May 08, 2006
  25. May 04, 2006
  26. May 02, 2006
  27. May 01, 2006
  28. Apr 26, 2006
  29. Apr 21, 2006
Loading