#165 Error in update

Performance problem
closed-out-of-date
nobody
5
2013-08-07
2008-09-03
Anonymous
No

Dear all,
I install XSB (ver 3.0.1) follow guide in http://xsb.sourceforge.net/manual1/node1.html and installation guide.
I try to update patch smodels 2.31 from CygWin for xasp, and here are details

bash-3.2$ tar xzf smodels-2.31.tar.gz
bash-3.2$ cd smodels-2.31
bash-3.2$ cat $XSB/packages/xasp/patch-smodels-2.31 | patch -p1
missing header for unified diff at line 3 of patch
can't find file to patch at input line 3
Perhaps you used the wrong -p or --strip option?
The text leading up to this was:
--------------------------
|--- Makefile.old 2006-05-26 21:05:42.000000000 +0100
|+++ Makefile 2006-07-18 21:36:14.359375000 +0100
--------------------------
File to patch:

I dont know what is "file to patch".
Pls help me this case.

Discussion

  • Michael Kifer
    Michael Kifer
    2013-08-07

    • status: open --> closed-out-of-date
    • Group: --> Performance problem