include $(IDRIS2_CURDIR)/config.mk

INSTALLDIR = `${IDRIS2} --libdir`/network/lib

IDRIS_SRCS = Network/Socket.idr Network/Socket/Data.idr Network/Socket/Raw.idr

TARGET = idris_net

SRCS = $(wildcard *.c)
OBJS = $(SRCS:.c=.o)
DEPS = $(OBJS:.o=.d)


all: $(TARGET)$(SHLIB_SUFFIX)
	${IDRIS2} --build network.ipkg


build: $(TARGET)$(SHLIB_SUFFIX) $(IDRIS_SRCS)
	@if [ -z "${IDRIS2}" ]; then echo 'variable $$IDRIS2 is not set, aborting'; exit 1; fi
	${IDRIS2} --build network.ipkg

$(TARGET)$(SHLIB_SUFFIX): $(OBJS)
	$(CC) -shared $(LDFLAGS) -o $@ $^


-include $(DEPS)

%.d: %.c
	@$(CPP) $(CFLAGS) $< -MM -MT $(@:.d=.o) >$@


.PHONY: clean

clean :
	rm -f $(OBJS) $(TARGET)$(SHLIB_SUFFIX)
	rm -rf build

cleandep: clean
	rm -f $(DEPS)


.PHONY: install

install:
	@if [ -z "${IDRIS2}" ]; then echo 'variable $$IDRIS2 is not set, aborting'; exit 1; fi
	${IDRIS2} --install network.ipkg
	@if ! [ -d $(INSTALLDIR) ]; then mkdir -p $(INSTALLDIR); fi
	install $(TARGET)$(SHLIB_SUFFIX) $(wildcard *.h) $(INSTALLDIR)


test: build test.c
	$(CC) -o network-tests -L. -I. test.c $(TARGET)$(SHLIB_SUFFIX)
	LD_LIBRARY_PATH=. ./network-tests
	@rm -f ./network-tests test.o