Commit 215569e1 authored by Etienne Renault's avatar Etienne Renault

ltlrec: automatic building

* Makefile, ltl/desugar/main.go: Here.
parent cb523bdc
......@@ -19,12 +19,12 @@
SHELL = /bin/bash
@go build && \
@go build && go build -o ltlrec ltl/desugar/main.go &&\
echo -e "You are using development version.\n"\
"Consider \"make release\" for a more efficient version "
@go build -ldflags "-s -w"
@go build -ldflags "-s -w" && go build -o ltlrec ltl/desugar/main.go
build-image: Dockerfile
docker build --no-cache -t .
......@@ -43,4 +43,4 @@ benchmark:
go clean
rm -rf output/
rm -rf output/ ltlrec
......@@ -11,6 +11,8 @@ import (
func main() {
if len(os.Args) < 3 {
fmt.Fprintf(os.Stderr, "Usage: ltl FORMULA JSON_MAP\n")
fmt.Fprintf(os.Stderr, "\nExample: ./ltlrec 'F all(\"a\")' '{\"a\": [\"a1\", \"a2\"]}'\n")
fmt.Fprintf(os.Stderr, " with a1, a2 the recursive names for a\n")
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment