edu.mit.csail.sdg.parser.generate-parser.sh Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of alloy-core Show documentation
Show all versions of alloy-core Show documentation
The core of the Alloy tools
The newest version!
#!/bin/bash
java -cp $LIB_SDG/jars-external/java-cup-11a.jar java_cup.Main \
-package edu.mit.csail.sdg.parser \
-parser CompParser \
-progress -time -compact_red \
-symbols CompSym < Alloy.cup