Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 228861 - rml-2.3.8.ebuild (New package)
Summary: rml-2.3.8.ebuild (New package)
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Default Assignee for New Packages
URL: https://www.ida.liu.se/labs/pelab/rml/
Whiteboard:
Keywords: EBUILD
Depends on:
Blocks: 230685
  Show dependency tree
 
Reported: 2008-06-22 09:49 UTC by Federico Zenith
Modified: 2023-07-25 03:46 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
Ebuild for RML (rml-2.3.8.ebuild,738 bytes, text/plain)
2008-06-22 09:50 UTC, Federico Zenith
Details
Improved ebuild, uses two use flags (debug and profile) (rml-2.3.8.ebuild,782 bytes, text/plain)
2008-06-23 19:57 UTC, Federico Zenith
Details
Updated ebuild (removed ~x86) (rml-2.3.8.ebuild,777 bytes, text/plain)
2008-06-24 06:13 UTC, Federico Zenith
Details
Updated ebuild, quotes (rml-2.3.8.ebuild,789 bytes, text/plain)
2008-06-28 21:02 UTC, Federico Zenith
Details
New ebuild (rml-2.3.8.ebuild,948 bytes, text/plain)
2008-11-19 18:30 UTC, Dewald Pieterse
Details
x86_64 architecture patch for configure file (rml-2.3.8-configure_x86_64.patch,304 bytes, patch)
2008-11-19 18:31 UTC, Dewald Pieterse
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Federico Zenith 2008-06-22 09:49:02 UTC
Hi,
this is an ebuild for RML, a system for structural operational semantics and natural semantics specifications.

I was working on this while looking for the various dependencies of OpenModelica (which I have not finished yet).
Comment 1 Federico Zenith 2008-06-22 09:50:31 UTC
Created attachment 157991 [details]
Ebuild for RML
Comment 2 Carsten Lohrke (RETIRED) gentoo-dev 2008-06-22 16:39:45 UTC
- $S and $D not always quoted
Comment 3 Federico Zenith 2008-06-23 19:57:08 UTC
Created attachment 158151 [details]
Improved ebuild, uses two use flags (debug and profile)
Comment 4 Federico Zenith 2008-06-24 06:13:22 UTC
Created attachment 158187 [details]
Updated ebuild (removed ~x86)

Removing ~x86 because I have not really tested the ebuild against it, I had added it because of old habit.
Comment 5 Federico Zenith 2008-06-28 21:02:58 UTC
Created attachment 158809 [details]
Updated ebuild, quotes

Added quotes around variables to ensure correct expansion
Comment 6 Dewald Pieterse 2008-10-22 19:34:01 UTC
Configure error I found:
line 110 seems to point to the wrong place looking sml, I think the make file requires some work.

./configure: TARGET is x86_64-linux-gcc
./configure: SMLCM is /usr/bin/sml
./configure: line 110: /var/tmp/portage/dev-lang/smlnj-110.67-r2/work/bin/.arch-n-opsys: No such file or directory
./configure: unable to determine SML/NJ heap suffix

Dewald
Comment 7 Dewald Pieterse 2008-11-19 18:30:17 UTC
Created attachment 172401 [details]
New ebuild

This new ebuild adds inherit eutils which is required for using epatch, restructured the ebuild a bit.
Comment 8 Dewald Pieterse 2008-11-19 18:31:26 UTC
Created attachment 172403 [details, diff]
x86_64 architecture patch for configure file

This patch updates the configure file to enable compiling on an x86_64 system.
Comment 9 Matthew Marchese Gentoo Infrastructure gentoo-dev 2023-07-25 03:46:15 UTC
Upstream changed: https://www.ida.liu.se/labs/pelab/rml/