Skip to content
Snippets Groups Projects
  1. Oct 19, 2006
  2. Oct 18, 2006
  3. Oct 17, 2006
  4. Oct 16, 2006
  5. Aug 11, 2006
  6. Aug 04, 2006
  7. Aug 01, 2006
  8. Jul 18, 2006
  9. May 24, 2006
  10. May 16, 2006
  11. Apr 17, 2006
  12. Apr 15, 2006
  13. Apr 14, 2006
  14. Apr 13, 2006
  15. Apr 26, 2005
  16. Dec 08, 2004
  17. Oct 08, 2004
  18. Aug 26, 2004
    • Thimo Neubauer's avatar
      - remove "localdune"-hack, not needed without lib · 76d8504d
      Thimo Neubauer authored
      - add --enable-dunedevel which switches a define DUNE_DEVEL_MODE that
        in turn can be used to activate more output (will e.g. be used for
        exception output format)
      - --with-dune works with both the directory above and the real
        dune-dir... if the directory is called "dune". Well, otherwise the
        includes won't work anyway :)
      
      [[Imported from SVN: r713]]
      76d8504d
  19. Feb 02, 2004
  20. Nov 10, 2003
    • Thimo Neubauer's avatar
      - added --enable-localdune option · bb2fe387
      Thimo Neubauer authored
      - added two types of library-check:
        a) normal search for lib in default-path (for a global installation
           some time in the future)
        b) a check for a signs of a compiled lib in a local
           Dune-installation if "localdune" is enabled. This is by no chance
           a strict check but what we want for local development
      
      [[Imported from SVN: r251]]
      bb2fe387
  21. Sep 12, 2003
  22. Aug 05, 2003
    • Thimo Neubauer's avatar
      - tilde is expanded again · 6b943fdf
      Thimo Neubauer authored
      - fixed a bug that would have added a useless -I parameter if dune was
        installed in a default location (where it should live in the near
        future)
      
      [[Imported from SVN: r108]]
      6b943fdf
  23. Aug 04, 2003
  24. Jul 01, 2003
Loading