Project

General

Profile

« Previous | Next » 

Revision c02d255e

Added by Pierre-Loïc Garoche almost 9 years ago

Solved some bugs in the lustre printer
Generation of a witness with both the main node and hte inlined main node
Test script modified to check consistency of the inlining process

View differences:

_oasis
7 7
Plugins:     DevFiles (0.2)
8 8
# , Custom (0.2)
9 9
PreBuildCommand: ./svn_version.sh 
10
PostInstallCommand: mkdir -p /usr/local/include/lustrec; cp include/* /usr/local/include/lustrec/ 
10
PostInstallCommand: mkdir -p $(prefix)/include; cp -rf include $(prefix)/include/lustrec
11 11

  
12 12
Executable lustrec
13 13
  Path:       src

Also available in: Unified diff