Компиляторы осень 2020
Материал из CSC Wiki
Березун Даниил danya.berezun@gmail.com
Группа в Телеграм, где можно и нужно задавать вопросы
Содержание
Get Started
Пререквизиты
- linux (если нет Linux и вы не хотите его устанавливать, то можете поставить его на любую VM (выделите ей хотя бы 2GB оперативной памяти), воспользоваться docker-образом или попытаться использовать Windows Subsystem for Linux (последнее не проверено))
- opam (version >= 2.0.4; to check version run # opam --version; see Installation guide)
- gcc-multilib (ubuntu: sudo apt-get install gcc-multilib)
Установка
- opam init
- eval $(opam env)
- opam switch create 4.08.1
- opam pin ppxlib 0.13.0
- opam pin add -n ostap https://github.com/dboulytchev/ostap.git\#memoCPS
- opam pin add -y lama https://github.com/JetBrains-Research/Lama.git
Простая проверка
- lamac -v
- on any tutorial file (ex. Expressions.lama)
- lamac Expressions.lama
- ./Expressions
При желании можно пользоваться "готовым" docker-образом (не забудьте # eval $(opam env))
Плагин для VSC (м.б. нестабилен)
Лекции
- Папка с межкампусными видео
- Плейлист, куда я буду собирать записи лекций и семинаров (возможно с опозданием...)
- Конспект 1 лекции
- Конспект 2 лекции
- Доп ссылки к лекции 3: Ассемблер в Linux для программистов C простым языком, x86 and amd64 instruction reference
Практики и ДЗ
- см. [1]
Как сдавать ДЗ
- Fork репозиторий с дз
- Выполнить дз в соответствующей ветке
- Когда все тесты прошли открыть pull-request в соответствующую домашнему заданию ветку исходного репозитория с дз
- NB:
- Travis byuild должен успешно завершаться на вашем pull-request (должна появится зелёная галочка рядом с ним; если появился красный крестик, то что-то пошло не так (не компилится или тесты не прошли) --- надо исправить)
- Ваш pull-request может содержать исключительно изменения необходимых файлов 'src/*.lama' и '.gitignore'; pull-request, изменяющий любые другие файлы будет отклонён и не проверен
- Deadline по каждому заданию: 2 недели (в 19-00 пятницы)
Даты
- Зачёт/экзамен, 24.12.2020 10:00