From 742322a42788ef7c1823461d814691cc897958ac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Tue, 11 Oct 2016 00:55:31 +0200 Subject: [PATCH] Use path within git repository for phc-adt dependency. --- info.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/info.rkt b/info.rkt index f1c93ac..f7ef8ff 100644 --- a/info.rkt +++ b/info.rkt @@ -3,12 +3,14 @@ (define deps '("base" "rackunit-lib" "https://github.com/jsmaniac/phc-toolkit.git#dev" - "https://github.com/jsmaniac/phc-adt.git#dev" + "https://github.com/jsmaniac/phc-adt.git?path=phc-adt#dev" + "phc-adt" "type-expander" "hyper-literate" "scribble-enhanced" "typed-racket-lib" - "srfi-lite-lib")) + "srfi-lite-lib" + "delay-pure")) (define build-deps '("scribble-lib" "racket-doc" "remember"