Make build system pack-compatible.

.github/workflows/ci-lib.yml

@@ -25,14 +25,11 @@ jobs:
       - name: Checkout idris2-tls
         uses: actions/checkout@v2
 
-      - name: Install idris deps
-        run: pack install-deps tls.ipkg
-
       - name: Build package
-        run: make install
+        run: pack --no-prompt install tls
 
       - name: Test package
-        run: make test
+        run: pack --no-prompt run tls-tests
 
   # windows-chez:
   #   runs-on: windows-latest

.gitignore

@@ -5,3 +5,5 @@ build/
 *.o
 *.dll
 *.dylib
+/lib/
+/support/libidristls

pack.toml

@@ -0,0 +1,9 @@
+[custom.all.tls]
+type = "local"
+path = "."
+ipkg = "tls.ipkg"
+
+[custom.all.tls-tests]
+type = "local"
+path = "tests"
+ipkg = "tlstest.ipkg"

support/Makefile

@@ -0,0 +1,37 @@
+TARGET = libidristls
+TARGET_VERSION ?= 0.0.1
+
+INSTALLDIR = ../lib
+
+LDFLAGS =
+CPPFLAGS =
+
+CC_VERSION = $(shell $(CC) --version)
+
+ifeq ($(findstring clang,$(CC_VERSION)),clang)
+	DYLIB_WORKAROUND = cp "${INSTALLDIR}/${TARGET}" "${INSTALLDIR}/${TARGET}.dylib"
+else
+	DYLIB_WORKAROUND = cp "${INSTALLDIR}/${TARGET}" "${INSTALLDIR}/${TARGET}.so"
+	LDFLAGS += -fuse-ld=gold
+endif
+
+SRCS = $(wildcard *.c)
+OBJS = $(SRCS:.c=.o)
+
+all: $(TARGET)
+
+$(TARGET): $(OBJS)
+	$(CC) -shared $(LDFLAGS) -o $@ $^
+
+.PHONY: clean
+
+clean :
+	rm -f $(OBJS) $(TARGET)
+	rm -rf $(INSTALLDIR)
+
+.PHONY: install
+
+install:
+	mkdir -p $(INSTALLDIR)
+	install $(TARGET) $(wildcard *.h) $(INSTALLDIR)
+	$(DYLIB_WORKAROUND)

tls.ipkg

@@ -71,4 +71,9 @@ modules = Crypto.RSA,
           Utils.ConstantTable
 
 opts = "-Wno-shadowing"
+
 sourcedir = "src"
+
+prebuild = "make -C support all"
+
+preinstall = "make -C support install"