From c3e56799e0ddfc999b18598c371167242e0ba671 Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Fri, 6 Nov 2020 06:28:26 -0500 Subject: [PATCH] Replace Ubuntu Racket pkg with a ppa recipe --- deps/racket/Makefile | 5 +++++ pkgs-ubuntu.list | 3 --- 2 files changed, 5 insertions(+), 3 deletions(-) create mode 100644 deps/racket/Makefile diff --git a/deps/racket/Makefile b/deps/racket/Makefile new file mode 100644 index 0000000..3cc4601 --- /dev/null +++ b/deps/racket/Makefile @@ -0,0 +1,5 @@ +.PHONY: ubuntu +ubuntu: + sudo add-apt-repository ppa:plt/racket + sudo apt update + sudo apt install racket diff --git a/pkgs-ubuntu.list b/pkgs-ubuntu.list index 8ba78c3..1b6440a 100644 --- a/pkgs-ubuntu.list +++ b/pkgs-ubuntu.list @@ -153,9 +153,6 @@ subversion-tools guile-2.0 guile-2.0-doc -# Racket -racket - # Chez Scheme chezscheme -- 2.20.1