Commit graph

4 commits

Author SHA1 Message Date
Gwenaël Delaval
c0b84bd186 Abstraction of integers for Sigali
Correction of abstraction for Sigali: integer equations comprising no
integer variables should not be abstracted
2013-09-06 10:13:08 +02:00
Gwenaël Delaval
5b1784957f Makefile-distrib update
Makefile-distrib: include install-sh script in source distribution
(mandatory for autoconf).

Enable simulator by default (for automatic builds on pipol: some ctest
versions does not allow options passing to configure scripts).
2013-02-04 22:16:10 +01:00
Gwenal Delaval
e7f85d6b25 Configuration for binary release
- custom bytecode compilation
- added suffix (OS, cpu) in binary distrib
2013-01-28 15:55:56 +01:00
Gwenaël Delaval
dcfcc0f59c Additional Makefiles for distribution builds
Makefile-bin: only install target, for binary distribution
Makefile-distrib: two targets, binary-distrib (builds a binary distribution
based on the current configuration) and source-distrib (builds a source distribution)
2013-01-25 00:36:58 +01:00