From e87ff6c49f19c79acd1dec02041147525ee6088b Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Thu, 22 Sep 2022 08:02:55 +0000 Subject: [PATCH] Add SML/NJ --- roles/classroom/tasks/main.yml | 5 +++-- roles/classroom/tasks/smlnj.yml | 8 ++++++++ 2 files changed, 11 insertions(+), 2 deletions(-) create mode 100644 roles/classroom/tasks/smlnj.yml diff --git a/roles/classroom/tasks/main.yml b/roles/classroom/tasks/main.yml index 4284296..7884410 100644 --- a/roles/classroom/tasks/main.yml +++ b/roles/classroom/tasks/main.yml @@ -3,11 +3,11 @@ - import_tasks: blender.yml - import_tasks: chrome.yml - import_tasks: emacs.yml -- import_tasks: inkscape.yml -- import_tasks: logisim.yml - import_tasks: firefox.yml - import_tasks: gimp.yml - import_tasks: git.yml +- import_tasks: inkscape.yml +- import_tasks: logisim.yml - import_tasks: mysql-odbc-connector.yml - import_tasks: netbeans.yml - import_tasks: notepad++.yml @@ -19,6 +19,7 @@ - import_tasks: python.yml - import_tasks: racket.yml - import_tasks: rstudio.yml +- import_tasks: smlnj.yml - import_tasks: swi-prolog.yml - import_tasks: thonny.yml - import_tasks: virtualbox.yml diff --git a/roles/classroom/tasks/smlnj.yml b/roles/classroom/tasks/smlnj.yml new file mode 100644 index 0000000..e73d300 --- /dev/null +++ b/roles/classroom/tasks/smlnj.yml @@ -0,0 +1,8 @@ +- name: Set SML/NJ + set_fact: + target_version: "110.99.3" + +- name: Install SML/NJ + win_package: + path: "http://smlnj.cs.uchicago.edu/dist/working/{{ target_version }}/smlnj-{{ target_version }}.msi" + creates_path: "%ProgramFiles(x86)%\\SMLNJ\\bin\\sml.bat"