spoofax_prop/metaborg.yaml

42 lines
980 B
YAML

---
id: org.studioinfinity:spoofax_prop:0.1.0-SNAPSHOT
name: Spoofax-Propositional-Language
dependencies:
compile:
- org.metaborg:org.metaborg.meta.lang.esv:${metaborgVersion}
- org.metaborg:org.metaborg.meta.lang.template:${metaborgVersion}
- org.metaborg:org.metaborg.meta.nabl2.lang:${metaborgVersion}
- org.metaborg:dynsem:${metaborgVersion}
source:
- org.metaborg:meta.lib.spoofax:${metaborgVersion}
- org.metaborg:org.metaborg.meta.nabl2.shared:${metaborgVersion}
- org.metaborg:org.metaborg.meta.nabl2.runtime:${metaborgVersion}
pardonedLanguages:
- EditorService
- Stratego-Sugar
- SDF
language:
sdf:
pretty-print: Spoofax-Propositional-Language
sdf2table: java
placeholder:
prefix: "$"
stratego:
format: ctree
args:
- -la
- stratego-lib
- -la
- stratego-sglr
- -la
- stratego-gpp
- -la
- stratego-xtc
- -la
- stratego-aterm
- -la
- stratego-sdf
- -la
- strc
exports: