Skip to content

Frege runtime osgi bundle #26

Description

@ronslow

Hi

[Wait - I should have read the new docs on calling Frege from Java -sorry - hold this issue!]

My OSGi Frege application needs a dependency on the Frege runtime but without opening a workbench.

Obviously I can't depend on frege-ide because this depends on a full Eclipse workbench being started.

Frege 3.23.422-ga05a487 from Maven doesn't have run7, so I get a noclassfounderror: frege/run7/Lazy

Frege 3.24.7-30 from Maven has run7, but this is too new and I get a

java.lang.NoSuchMethodError: frege.run7.Thunk.shared(Lfrege/run7/Lazy;)Lfrege/run7/Lazy;

Is there a correct runtime jar of the same version within regec.jar but without workbench activation available somewhere?

Robert

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions