1 mt19937ar-files = [ glob mt19937ar.c ] ;
5 alias mt19937ar : $(mt19937ar-files) : : <define>HAVE_MT19937AR_C ;
12 exe random_speed.exe : random_speed.cpp mt19937ar : release ;
13 exe generate_table.exe : generate_table.cpp /boost//regex : <link>static ;
14 exe nondet_random_speed.exe : nondet_random_speed.cpp /boost//random : release <link>static ;
16 install random_speed : random_speed.exe : <install-type>EXE <location>. ;
17 install nondet_random_speed : nondet_random_speed.exe : <install-type>EXE <location>. ;
18 install generate_table : generate_table.exe : <install-type>EXE <location>. ;