Skip to content
Snippets Groups Projects
Select Git revision
  • adf7e93c13e7dbc20265e143a9a3f5a2c2a9f563
  • master default
  • private_plugin
  • snapshot_20210303
  • 0.2.0
  • 0.1.1
6 results

Utility

  • Clone with SSH
  • Clone with HTTPS
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Getting started
    ===============
    
    You have to create the configure-script on your own!
    
    First, you'll need the followings programs installed:
    
      automake >= 1.5
    
      autoconf >= 2.50
    
      libtool
    
    Then run
    
      ./autogen.sh DUNEDIR
    
    where DUNEDIR is the (absolute or relative) path of the dune/-directory.
    
    The directory is needed because autogen.sh needs access to the tests
    stored in DUNEDIR/m4
    
    Now call
    
      ./configure --with-dune=DIR
    
    where DIR is the directory _above_ dune/. If you want to include third
    party packages check
    
      ./configure --help
    
    for options on how to include Albert, Grape, UG, ...
    
    If configure checked your system without problems you can use
    
      make
    
    to build all examples.