Skip to content

Missing JAR file in Dotty release 0.18.1-RC1 ?! #7146

Closed
@michelou

Description

@michelou

The following JAR file is missing in Dotty release 0.18.1-RC1:

lib/dotty-staging_0.18-0.18.1-RC1.jar

but is available from the Maven Central Repository:

https://search.maven.org/artifact/ch.epfl.lamp/dotty-staging_0.18/0.18.1-RC1/jar

Indeed, one can read the following in shell script bin/common:

110: DOTTY_STAGING=$(find_lib "*dotty-staging*")

and a variable $PSEP is missing on line 105 in shell script bin/dotr (before variable $DOTTY_STAGING):

105:    cp_arg+="$PSEP$DOTTY_COMP$PSEP$DOTTY_INTF$PSEP$SCALA_ASM$DOTTY_STAGING"
                                                                ^^^^^^

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