Snippets Groups Projects

MANIFEST.MF

1 year ago
7fd56f8e
Require matching minor version of our own parser dependency · 7fd56f8e
dgelessus authored 1 year ago
```
To prevent somehow installing old parsers together with new Camille.
```
7fd56f8e

History
Require matching minor version of our own parser dependency
dgelessus authored 1 year ago
```
To prevent somehow installing old parsers together with new Camille.
```

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

Makefile 337 B

build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java src/main/java/de/tla2bAst/*.java build.gradle
	gradle createJar
install: build/libs/TLA2B.jar
	cp build/libs/TLA2B.jar ../../prob_prolog/lib/

test: build/libs/TLA2B.jar
	java -jar build/libs/TLA2B.jar $(FILE).tla
	probcli $(FILE).prob -ppf user_output