home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-385-Vol-1of3.iso / c / cops_104.zip / cops_104 / docs / readme.sequent < prev    next >
Text File  |  1992-03-10  |  207b  |  9 lines
  1.  
  2.   On some sequents, I don't know why, but you'll want to have this
  3. line uncommented out in the makefile (line 25):
  4.  
  5. SEQFLAGS   = -lseq
  6.  
  7.   Also, in "src/crc_check.c", you may need to uncomment lines 36-38.
  8.  
  9.