github.com/kaisenlinux/docker.io@v0.0.0-20230510090727-ea55db55fac7/swarmkit/design/tla/Makefile (about)

     1  WORKERS := 4
     2  
     3  TLA := docker run --rm -it --workdir /mnt -v ${PWD}:/mnt talex5/tla
     4  
     5  .PHONY: all check pdfs tlaps
     6  
     7  all: check pdfs tlaps
     8  
     9  # Run the TLC model checker
    10  check:
    11  	${TLA} tlc -workers ${WORKERS} SwarmKit.tla -config models/SwarmKit.cfg
    12  	${TLA} tlc -workers ${WORKERS} WorkerImpl.tla -config models/WorkerImpl.cfg
    13  
    14  # Run the TLAPS proof checker
    15  tlaps:
    16  	${TLA} tlapm -I /usr/local/lib/tlaps SwarmKit.tla
    17  	${TLA} tlapm -I /usr/local/lib/tlaps WorkerImpl.tla
    18  
    19  # Generate a PDF file from a .tla file
    20  %.pdf: %.tla
    21  	[ -d metadir ] || mkdir metadir
    22  	${TLA} java tla2tex.TLA -shade -latexCommand pdflatex -latexOutputExt pdf -metadir metadir $<
    23  
    24  pdfs: SwarmKit.pdf Types.pdf Tasks.pdf WorkerSpec.pdf EventCounter.pdf