summaryrefslogtreecommitdiff
path: root/gnu/local.mk
diff options
context:
space:
mode:
authorAndy Patterson <ajpatter@uwaterloo.ca>2017-07-15 18:17:25 -0400
committerLudovic Courtès <ludo@gnu.org>2017-07-17 15:13:41 +0200
commit9b7ee28d5700b47ae34bd47c32d250f042fbdbbd (patch)
treefe10715c0419049b99f0c6e39e65f4fb99df3e17 /gnu/local.mk
parent2e009ae7cdaee4ce871b3a79d50118762ee29fb6 (diff)
downloadpatches-9b7ee28d5700b47ae34bd47c32d250f042fbdbbd.tar
patches-9b7ee28d5700b47ae34bd47c32d250f042fbdbbd.tar.gz
gnu: Add Poly/ML.
* gnu/packages/sml.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/local.mk')
-rw-r--r--gnu/local.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk
index 8e3a52d28c..54dd2f2380 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -363,6 +363,7 @@ GNU_SYSTEM_MODULES = \
%D%/packages/skribilo.scm \
%D%/packages/slang.scm \
%D%/packages/smalltalk.scm \
+ %D%/packages/sml.scm \
%D%/packages/speech.scm \
%D%/packages/spice.scm \
%D%/packages/ssh.scm \