edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-09-11 16:05:51 +03:00
Code Issues Projects Releases Wiki Activity

Remove Chicken CG deps from CI tests

Browse Source
This commit is contained in:
Kamil Shakirov 2020-05-14 01:19:52 +06:00
parent 5dfa853352
commit 3acd7a0805
2 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.ci-dockerfiles/ci-base.dockerfile
View File

@ -3,7 +3,7 @@ from haskell:8.2
run apt-get update && apt-get install -y \
clang lld-4.0 \
curl wget \
chicken-bin racket \
racket gambc \
libx11-dev uuid-dev \
libncurses5-dev

10
support/c/Makefile
View File

@ -12,15 +12,17 @@ OBJS = $(SRCS:.c=.o)
DEPS = $(OBJS:.o=.d)
all: build
.PHONY: build
build : $(LIBTARGET) $(DYLIBTARGET)
build: $(LIBTARGET) $(DYLIBTARGET)
$(LIBTARGET) : $(OBJS)
$(LIBTARGET): $(OBJS)
$(AR) rc $@ $^
$(RANLIB) $@
$(DYLIBTARGET) : $(OBJS)
$(DYLIBTARGET): $(OBJS)
$(CC) -shared $(LDFLAGS) -o $@ $^
@ -41,6 +43,6 @@ cleandep: clean
.PHONY: install
install: $(LIBTARGET) $(DYLIBTARGET)
install: build
mkdir -p ${PREFIX}/idris2-${IDRIS2_VERSION}/lib
install $(LIBTARGET) $(DYLIBTARGET) ${PREFIX}/idris2-${IDRIS2_VERSION}/lib