#-------------------------------------------------------------------------
#
# Makefile.inc--
#    Makefile for port/linux (Linux specific stuff)
#
# Copyright (c) 1994, Regents of the University of California
#
#
# IDENTIFICATION
#    /usr/local/devel/pglite/cvs/src/backend/port/linux/Makefile.inc,v 1.3 1995/05/25 22:51:02 andrew Exp
#
# NOTES
#    The Linux port is included here by courtesy of Kai Petzke.
#
#    (C) 1994, Kai Petzke, wpp@marie.physik.tu-berlin.de
#
#-------------------------------------------------------------------------

#
# linux has fast linkers and don't need the BIGOBJ stuff.
#
BIGOBJS= false


ifdef LINUX_ELF
CC=gcc
LDADD+= -ldl
CFLAGS+= -DLINUX_ELF
else
LDADD+= -ldld
SUBSRCS+= dynloader.c
endif

HEADERS+= machine.h port-protos.h
CFLAGS+= -DNEED_CBRT