From: andrew f. (JIRA) <ji...@sm...> - 2008-08-22 12:14:10
|
[ http://jira.smartfrog.org/jira/browse/SFOS-962?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=11229#action_11229 ] andrew farrell commented on SFOS-962: ------------------------------------- Looks promising for Eclipse CLP which is arguably the most important of the two (for the time being at least). I've actually modified the nuSMV source however... > Resolve packaging of native libraries with release > -------------------------------------------------- > > Key: SFOS-962 > URL: http://jira.smartfrog.org/jira/browse/SFOS-962 > Project: SmartFrog > Issue Type: Bug > Reporter: andrew farrell > Assignee: andrew farrell > > There are two modified open-source apps: > 1) Eclipse CLP > 2) nuSMV Model Checker > For linux, these can be built on-the-fly without issue as part of the install process. > I say without issue. What I mean is that I can build these by hand, and I *presume* that this process could be automated fairly straightforwardly as part of an RPM install. > For windows, I've only thus far built nuSMV. I did this using cygwin as it requires "emulation" of cc/gcc-specific header files. To not include pre-compiled native libraries for Windows would be somewhat trickier. The easy way out would be to provide these for 32-bit and 64-bit OSs. > The way forward is to discuss the matter with Steve and Julio, and to close this issue will require an installation process which seamlessly handles the installation of these apps for all appropriate platforms. -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: http://jira.smartfrog.org/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira |