search

mattiasw2 / teyjus

Automatically exported from code.google.com/p/teyjus
GNU General Public License v3.0
0 stars 0 forks source link

tjlink doesn't allow paths in the argument #58

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. calling tjlink on a module that is not in the same folder ( . )
2.
3.

What is the expected output? What do you see instead?

tjcc works fine, but if I call 
./tjlink folder1/folder2/test
it says 

Module name mismatch: Illegal seek
Error while reading top level module proofCert/03-29/ess
Linking aborted due to an exception.

So I suppose it doesn't parse the path to only keep ess as the name.

What version of the product are you using? On what operating system?

Teyjus version 2.0-b2
on ubuntu, 8.04 and 10.4 (That's not the issue)

Original issue reported on code.google.com by uaz...@gmail.com on 30 Mar 2012 at 8:49

GoogleCodeExporter commented 9 years ago 
Please find a patch attached which seems to solve the bug (works fine on Linux, 
have not tested on Win).

The .lp is outputed in the same folder as the sources.

Original comment by fafounet@gmail.com on 13 Jun 2012 at 2:52

Attachments:

GoogleCodeExporter commented 9 years ago 
The patch I submitted is buggy...

Original comment by fafounet@gmail.com on 25 Jun 2012 at 1:35