# 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/ 
 |