watform / org.alloytools.alloy Goto Github PK

In the build configuration for the dash extension of Alloy is the call of JFlex and Java CUP missing.

I think one should put the lines

-generate: \
    parser/; \
        output=gen/java/; \
        workingdir=gen/java/edu/mit/csail/sdg/parser; \
        generate= \
            "JFlex.Main -d . -nobak ./parser/Alloy.lex; \
             java_cup.Main -dump -parser CompParser -symbols CompSym -compact_red <./parser/Alloy.cup 2>target/report"

in file org.alloytools.alloy.core/bnd.bnd

Kind regards,
Burkhardt Renz

I wanted to use the util/integer module, but there is a problem,

open util/integer 

does not work. Error message:

Could not import module: integer

I figured out, that i must do following.

open util/integer as i

Now it works. But just with the builded solution from Burkhardt Renz. If i build the current solution from the branch "dash" i get the following syntax error:

The name "isEnabled" cannot be found.

Kind regards ,
Ronja Haas