#*********************************************************************#
#                                                                     #
#                           DBGen                                     #
#                                                                     #
#       Emmanuel Polonowski, LACL, University Paris-East Creteil      #
#                                                                     #
#                                                                     #
#*********************************************************************#

- Edit config/Makefile to set the configuration options, following the
  comments in that file. You must set the LOCALDIR variable
  to reflect the directory where you want to install the software
  (default is /usr/local). Other variables have reasonable defaults.

- Do "make".

- Become super-user if necessary and do "make install".

- [ Optional ] To check the dbgen binary with the provided examples, do
  "make test". Warning: whole testing may take more than 1 hour (last
  test Test_6_Complete/source.v produces a file target.v of around
  15000 lines).