summaryrefslogtreecommitdiffstats
path: root/src/temp/aig_free/subdir.mk
blob: 1867f77793b97c62ebacc0a768ed40df3afc7c68 (plain)
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
################################################################################
# Automatically-generated file. Do not edit!
################################################################################

INCPATHS = -I$(ROOT)/aig-alan

# Add inputs and outputs from these tool invocations to the build variables 
PURE_C_SRCS += \
${addprefix $(ROOT)/aig-alan/, \
aigBalance.c \
aigCheck.c \
aigDfs.c \
aigMan.c \
aigMem.c \
aigObj.c \
aigOper.c \
aigTable.c \
aigUtil.c \
cudd2.c \
st.c \
}

C_SRCS += $(PURE_C_SRCS)


PURE_C_OBJS += \
${addprefix $(ROOT)/obj/aig-alan/, \
aigBalance.o \
aigCheck.o \
aigDfs.o \
aigMan.o \
aigMem.o \
aigObj.o \
aigOper.o \
aigTable.o \
aigUtil.o \
cudd2.o \
st.o \
}

OBJS += $(PURE_C_OBJS) 

PURE_C_DEPS += \
${addprefix $(ROOT)/obj/aig-alan, \
aigBalance.d \
aigCheck.d \
aigDfs.d \
aigMan.d \
aigMem.d \
aigObj.d \
aigOper.d \
aigTable.d \
aigUtil.d \
cudd2.d \
st.d \
}

DEPS += $(PURE_C_DEPS)


OCAML_OBJS += 


DEPEND_SRCS += 

# Each subdirectory must supply rules for building sources it contributes
$(ROOT)/obj/aig-alan/%.o: $(ROOT)/aig-alan/%.c
	@echo 'Building file: $<'
	@echo 'Invoking: GCC C Compiler: $(CC)'
	@echo $(CC) $(GPCC_OPTS) $(INCPATHS)  -O3 -g3 -Wall -c -fmessage-length=0 -o$@ $<
	@$(CC)  $(GPCC_OPTS)  $(INCPATHS) -O3 -g3 -Wall -c -fmessage-length=0 -o$@ $< && \
	echo -n $(@:%.o=%.d) $(dir $@) > $(@:%.o=%.d) && \
	$(CC) -MM -MG -P -w  $(GPCC_OPTS) $(INCPATHS) -O3 -g3 -Wall -c -fmessage-length=0  $< >> $(@:%.o=%.d)
	@echo 'Finished building: $<'
	@echo ' '

$(ROOT)/obj/aig-alan/%.o: $(ROOT)/aig-alan/%.cpp
	@echo 'Building file: $<'
	@echo 'Invoking: G++ C Compiler: $(GPCC)'
	@echo $(GPPCC) $(GPCC_OPTS) $(INCPATHS)  -O3 -g3 -Wall -c -fmessage-length=0 -o$@ $<
	@$(GPPCC)  $(GPCC_OPTS)  $(INCPATHS) -O3 -g3 -Wall -c -fmessage-length=0 -o$@ $< && \
	echo -n $(@:%.o=%.d) $(dir $@) > $(@:%.o=%.d) && \
	$(GPPCC) -MM -MG -P -w  $(GPCC_OPTS) $(INCPATHS) -O3 -g3 -Wall -c -fmessage-length=0  $< >> $(@:%.o=%.d)
	@echo 'Finished building: $<'
	@echo ' '