edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-30 12:14:17 +03:00
Code Issues Projects Releases Wiki Activity

[ fix ] build by installing support before tests (#369)

Browse Source
This commit is contained in:
G. Allais 2020-05-12 15:23:42 +01:00 committed by GitHub
parent e7d0b33e64
commit f72f91c67a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.ci-dockerfiles/ci-run.dockerfile
View File

@ -4,4 +4,5 @@ copy . /Idris2-dev
workdir /Idris2-dev
run make idris2
run make libs
run make install-support
run make test INTERACTIVE=''

2
Makefile
View File

@ -62,7 +62,7 @@ VALID_IDRIS_VERSION_REGEXP = "1.3.2.*"
.PHONY: ttimp idris2 idris2-fromc prelude test base clean lib_clean check_version idris2c dist/idris2.c
all: idris2 libs test
all: idris2 libs install-support test
# test requires an Idris install! Maybe we should do a version in Idris2?
all-fromc: idris2-fromc libs

1
support/c/Makefile
View File

@ -16,6 +16,7 @@ $(DYLIBTARGET) : $(OBJS)
$(CC) -shared $(OBJS) -fPIC -o $(DYLIBTARGET)
install: $(LIBTARGET) $(DYLIBTARGET)
mkdir -p ${PREFIX}/idris2-${IDRIS2_VERSION}/lib
install $(LIBTARGET) $(DYLIBTARGET) ${PREFIX}/idris2-${IDRIS2_VERSION}/lib
clean: