Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

SWIG interface generation not working (.o file not found) #2305

Closed
fgauthie opened this issue Sep 14, 2022 · 2 comments
Closed

SWIG interface generation not working (.o file not found) #2305

fgauthie opened this issue Sep 14, 2022 · 2 comments

Comments

@fgauthie
Copy link
Contributor

fgauthie commented Sep 14, 2022 •
edited
Loading

Trying to generate a SWIG interface currently triggers a file not found error.

Steps to reproduce:

  1. Build Soufflé with -DSOUFFLE_SWIG=ON
  2. Run SWIG tests: ctest -j8 -L swig

The issue is that souffle-compile.template.py builds the .o file name by using the absolute path to the output file instead of a relative path to the current working temporary directory:

souffle/src/souffle-compile.template.py

Line 153 in 429e168

cmd.append(str(args.output) + ".o")

Replacing with cmd.append(os.path.basename(args.output) + ".o") fixes the issue.
@quentin
Copy link
Member

quentin commented Sep 16, 2022

Hi, thanks for the investigation! Would you like to submit a pull request for this fix ?

@fgauthie
Copy link
Contributor Author

Sure, see #2308

b-scholz added a commit that referenced this issue Sep 27, 2022
@b-scholz
Merge pull request #2308 from fgauthie/fix#2305
258847c 
Fix for SWIG .o file not found #2305
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@quentin @b-scholz @fgauthie