# SPDX-License-Identifier: GPL-2.0
mantis_core-objs := mantis_ioc.o \
   mantis_uart.o \
   mantis_dma.o \
   mantis_pci.o \
   mantis_i2c.o \
   mantis_dvb.o \
   mantis_evm.o \
   mantis_hif.o \
   mantis_ca.o \
   mantis_pcmcia.o \
   mantis_input.o

mantis-objs := mantis_cards.o \
   mantis_vp1033.o \
   mantis_vp1034.o \
   mantis_vp1041.o \
   mantis_vp2033.o \
   mantis_vp2040.o \
   mantis_vp3030.o

hopper-objs := hopper_cards.o \
   hopper_vp3028.o

obj-$(CONFIG_MANTIS_CORE) += mantis_core.o
obj-$(CONFIG_DVB_MANTIS) += mantis.o
obj-$(CONFIG_DVB_HOPPER) += hopper.o

ccflags-y += -I $(srctree)/drivers/media/dvb-frontends/