1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
## Process this file with automake to produce Makefile.in
bin_PROGRAMS = syf
AM_CFLAGS = \
-I$(top_srcdir)/abl/src \
-I$(top_srcdir)/aut/src \
-I$(top_srcdir)/bdd/src \
-I$(top_srcdir)/fsm/src \
-I$(top_srcdir)/ftl/src \
-I$(top_srcdir)/fvh/src \
-I$(top_srcdir)/mbk/src \
@ALLIANCE_CFLAGS@
syf_LDADD = @ALLIANCE_LIBS@ \
-L$(top_srcdir)/abl/src \
-L$(top_srcdir)/aut/src \
-L$(top_srcdir)/bdd/src \
-L$(top_srcdir)/fks/src \
-L$(top_srcdir)/fsm/src \
-L$(top_srcdir)/ftl/src \
-L$(top_srcdir)/fvh/src \
-L$(top_srcdir)/mbk/src \
-lFtl -lFks -lFvh -lFsm \
-lBdd -lAbl -lAut -lMut
syf_SOURCES = \
fbh_parse.c syf_comp.h syf_error.c syf_main.h syf_synth.c \
fbh_parse.h syf_cost.c syf_error.h syf_must.c syf_synth.h \
kis_parse.c syf_cost.h syf_fsm.c syf_must.h syf_tools.c \
kis_parse.h syf_dc.c syf_fsm.h syf_onehot.c syf_tools.h \
syf_asp.c syf_dc.h syf_fsm2fbh.c syf_onehot.h syf_user.c \
syf_asp.h syf_encod.c syf_fsm2fbh.h syf_random.c syf_user.h \
syf_bdd.c syf_encod.h syf_jedi.c syf_random.h syf_verify.c \
syf_bdd.h syf_env.c syf_jedi.h syf_simp.c syf_verify.h \
syf_comp.c syf_env.h syf_main.c syf_simp.h
|
