extra20.patch 1013 Bytes
Newer Older
Valentin Touzeau's avatar
WIP  
Valentin Touzeau committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
diff -r -c extra20/Makefile extra20/Makefile
*** extra20/Makefile	2003-10-11 12:25:38.000000000 +0200
--- extra20/Makefile	2018-05-04 16:25:52.535788756 +0200
***************
*** 4,11 ****
  .SILENT:
  
  # modify these macros to point to your include and lib directory
! INCDIR = /u/alanmi/local/include/
! LIBDIR = /u/alanmi/local/lib/
  
  # modify this line to compile with compilers other than g++
  CC       = gcc
--- 4,11 ----
  .SILENT:
  
  # modify these macros to point to your include and lib directory
18 19
! INCDIR = ../../cudd/cudd-2.3.1/include/
! LIBDIR = /tmp/
Valentin Touzeau's avatar
WIP  
Valentin Touzeau committed
20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
  
  # modify this line to compile with compilers other than g++
  CC       = gcc
***************
*** 25,31 ****
  #CFLAGS  = -c -O -D_UNIX -D_HP_
  
  # these are compiler flags for SunOS
! CFLAGS  = -c -O -D_UNIX
  
  #LFLAGS = -pg -Wall
  LFLAGS  =
--- 25,32 ----
  #CFLAGS  = -c -O -D_UNIX -D_HP_
  
  # these are compiler flags for SunOS
! #CFLAGS  = -c -O -D_UNIX
! CFLAGS  = -c -O -D_UNIX -fPIC
  
  #LFLAGS = -pg -Wall
  LFLAGS  =