lidia-interface/LiDIA-patch2

   1 diff -r -c3 LiDIA-1.3/config/CONFIG LiDIA/config/CONFIG
   2 *** LiDIA-1.3/config/CONFIG     Mon Apr 15 15:00:47 1996
   3 --- LiDIA/config/CONFIG Sun Nov 17 18:43:41 1996
   4 ***************
   5 *** 49,57 ****
   6   #                               default (no manager)
   7   #
   8
   9 !                BIGINT = libI
  10 !                   GMM = default
  11
  12
  13   #
  14   # The Compiler/Assembler/Linker Settings
  15 --- 49,60 ----
  16   #                               default (no manager)
  17   #
  18
  19 !                BIGINT = cln
  20 !                   GMM = default
  21
  22 +               CLN_DIR = /home/bruno/cln
  23 +         CLN_TARGETDIR = /home/bruno/cln/linuxelf
  24 +          CLN_INCLUDES = -I$(CLN_TARGETDIR)/include -I$(CLN_DIR)/include -I$(CLN_DIR)/src/base -I$(CLN_DIR)/src/float -I$(CLN_DIR)/src/float/dfloat -I$(CLN_DIR)/src/io
  25
  26   #
  27   # The Compiler/Assembler/Linker Settings