diff options
| author | Ian Jauslin <ian.jauslin@roma1.infn.it> | 2015-07-22 13:55:29 +0000 |
|---|---|---|
| committer | Ian Jauslin <ian.jauslin@roma1.infn.it> | 2015-07-22 13:55:29 +0000 |
| commit | f13eacbc8e5ab714dd3544adab8189c313382c77 (patch) | |
| tree | efd35fca778e6e343206f48918898a8b4cda9977 /Makefile | |
| parent | 3b591888b5dad7cef02170743a92e2bf9c5831db (diff) | |
Support for non-commuting fieldsv1.3
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,7 @@ # if static=1 then link libkondo statically but other libraries dynamically STATIC=1 -VERSION=1.2.1 +VERSION=1.3 # products of the compilation PROJECT_BINS= meankondo numkondo meantools kondo_preprocess meantools-convert |