From 4bab1e482ff8df18ff0b4a7cefaf0016851dd50e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 25 Jan 2016 18:44:41 +0100 Subject: [PATCH] Stopped using raco exe to compile makefile, instead use raco make. The docs say that there is no performance loss, and raco exe doesn't work properly on NixOs. --- graph-lib/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/graph-lib/Makefile b/graph-lib/Makefile index b741a597..12eb39b4 100644 --- a/graph-lib/Makefile +++ b/graph-lib/Makefile @@ -1,9 +1,9 @@ .PHONY: all -all: make/make - make/make +all: make/compiled/make_rkt.zo + racket make/make.rkt -make/make: make/make.rkt make/lib.rkt - raco exe make/make.rkt +make/compiled/make_rkt.zo: make/make.rkt make/lib.rkt + raco make make/make.rkt .PHONY: clean clean: