project/oslik/oslik/pl-3.1.2.diff

   1 diff -ruN pl-3.1.2-orig/src/pl-prof.c pl-3.1.2/src/pl-prof.c
   2 --- pl-3.1.2-orig/src/pl-prof.c Thu Aug  6 15:27:22 1998
   3 +++ pl-3.1.2/src/pl-prof.c      Sat Dec 26 15:14:00 1998
   4 @@ -28,7 +28,7 @@
   5
   6  static bool
   7  startProfiler(int how)
   8 -{ set_sighandler(SIGPROF, profile);
   9 +{/* set_sighandler(SIGPROF, profile); * HACK<short@ucw.cz>: sigblock() not working! */
  10
  11    value.it_interval.tv_sec  = 0;
  12    value.it_interval.tv_usec = 1;
  13 diff -ruN pl-3.1.2-orig/src/pl-wam.c pl-3.1.2/src/pl-wam.c
  14 --- pl-3.1.2-orig/src/pl-wam.c  Mon Nov 30 16:14:59 1998
  15 +++ pl-3.1.2/src/pl-wam.c       Sat Dec 26 16:00:07 1998
  16 @@ -3139,6 +3139,9 @@
  17         if ( false(DEF, SYSTEM) )
  18           clear(FR, FR_NODEBUG);
  19
  20 +/* HACK<short@ucw.cz>: Disable automatic garbage collection, use on-demand */
  21 +#define garbageCollect(FR)
  22 +
  23  #if O_DYNAMIC_STACKS
  24         if ( gc_status.requested )
  25         { lTop = (LocalFrame) argFrameP(FR, DEF->functor->arity);