krr / IDP / issues / #803 - IDP installation changes source files (blame XSB) — Bitbucket

Issue #803 new

Bart Bogaerts created an issue 2014-08-29

When trying to install idp with read-only rights on the source, I get

[  1%] Performing configure step for 'xsb'
/export/home1/NoCsBack/dtai/jodv/workspace/idp/lib/XSB/build/configure: line 2148: config.log: Permission denied
/export/home1/NoCsBack/dtai/jodv/workspace/idp/lib/XSB/build/configure: line 2158: config.log: Permission denied

Comments (5)

Joachim Jansen
Are you talking about compilation? I believe you need write rights for compiling (and installing) XSB.
- 2014-09-01T09:46:15+00:00
Bart Bogaerts reporter
Het compileren van IDP zou van mijn source moeten afblijven... (ik wou onlangs een read-only source compileren -> de versie zoals Jo ze staan had) en dat ging dus niet...
- 2014-09-01T09:48:45+00:00
Bart Bogaerts reporter
- changed title to IDP installation changes source files (blame XSB)
- 2014-09-01T09:49:08+00:00
Joachim Jansen
XSB compiles in-source. We could provide a bypass by first copying XSB's source to another location and compiling there, but this seems very messy. How much of a problem is this?
- 2014-09-01T09:51:47+00:00
Bart Bogaerts reporter
It's not really a problem ;-)
- 2014-09-01T09:53:22+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!