Bug 228861

Summary:	rml-2.3.8.ebuild (New package)
Product:	Gentoo Linux	Reporter:	Federico Zenith <federico.zenith>
Component:	New packages	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	CONFIRMED ---
Severity:	enhancement	CC:	dewald.pieterse
Priority:	High	Keywords:	EBUILD
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	https://www.ida.liu.se/labs/pelab/rml/
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	230685
Attachments:	Ebuild for RML Improved ebuild, uses two use flags (debug and profile) Updated ebuild (removed ~x86) Updated ebuild, quotes New ebuild x86_64 architecture patch for configure file

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

2023-07-25 03:46:15 UTC

Upstream changed: https://www.ida.liu.se/labs/pelab/rml/