2019-05-19 15:07:45 +03:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2018-11-22 06:14:35 +03:00
|
|
|
#
|
|
|
|
# Makefile for the Linux/nds32 kernel FPU emulation.
|
|
|
|
#
|
|
|
|
|
|
|
|
obj-y := fpuemu.o \
|
|
|
|
fdivd.o fmuld.o fsubd.o faddd.o fs2d.o fsqrtd.o fcmpd.o fnegs.o \
|
2019-05-20 04:21:13 +03:00
|
|
|
fd2si.o fd2ui.o fd2siz.o fd2uiz.o fsi2d.o fui2d.o \
|
|
|
|
fdivs.o fmuls.o fsubs.o fadds.o fd2s.o fsqrts.o fcmps.o fnegd.o \
|
|
|
|
fs2si.o fs2ui.o fs2siz.o fs2uiz.o fsi2s.o fui2s.o
|