4 lines
31 B
PHP
4 lines
31 B
PHP
|
|
||
|
|
OBJS += backends/btor/btor.o
|
||
|
|
|