Lab for Automated Reasoning and Analysis LARA

Building phantm from the source

First, you need tho fetch the source from github, then simply use:

$ make complete

For future builds, you only need to write

$ make

as building the CUP parser and JFlex lexer is usually not required.

phantm/build.txt · Last modified: 2010/05/04 15:10 by ekneuss
© EPFL 2018 - Legal notice