Что надо прочесть, чтобы понять autotools?

Взять какой нибудь небольшой открытый проект на autotools и разобрать его по местным манам. Вроде ничего там особо сложного. А с возникшими осложнениями уже сюда.

http://sourceware.org/autobook/autobook

ps: их не возможно понять.

Благодарю.

лучше забить и заюзать что-нибудь более вменяемое, например cmake

Я просто подумал, что у меня три группы в потоке, и вот систем сборки тоже три (еще scons). Осталось к осени все три выучить...

к концу семестра группа, изучающая autotools, превратится в стаю злобных дендромутантов, будь осторожен.

> Я просто подумал, что у меня три группы в потоке, и вот систем сборки тоже три (еще scons).

Ну это просто несправедливо - кому-то ужонахтунговые autotools, кому-то белый и пушыстый scons. Или это способ поквитаться с неугодными студнями?

Одна группа в среднем поуживее и избавлена от одного ненужного предмета, им и autotools.

Для учебного SMTP-сервера на С, полагаю, autotools все равно кошернее. (Остальные две группы будут писать что-нить попроще, еще не решил что... Урезанные до нельзя rip или ftp? что-то с Snmp?)

> к концу семестра группа, изучающая autotools

Цель изучить autotools самостоятельно и в деталях не преследуется, я даже заготовку. Так, вспомогательный инструмент...

>Остальные две группы будут писать что-нить попроще, еще не решил что... Урезанные до нельзя rip или ftp? что-то с Snmp?

pop3 клиент..

ps: покажите как это можно сделать через конечные автоматы...

это в каком же вузе бедных студентов такими глупостями заставляют заниматься ?

а накой учебному smtp-серверу autotools? там и makefile'a достаточно

> это в каком же вузе бедных студентов такими глупостями заставляют заниматься ?

С радостью выслушаю предложения умных лаб по курсу с названием "протоколы вычислительных сетей".

По плану курс закончится промелой (как и в прошлые годы) или muCRL (если осилю последнее)

Для самой симпатичной студентки - echo. Для самого негодяя (или молчела этой студентки) - imap с набором расширений.

> а накой учебному smtp-серверу autotools?

> там и makefile'a достаточно

Там оно чуть-чуть будет. Но будет.

> pop3 клиент..

Возможно что и.

> ps: покажите как это можно сделать через конечные автоматы...

Конечно, я вот уже накопал cfsm: генерит по описанию прототип автомата на С, выглядит разумно, и еще по нему же дот файл, его потом бум в тех тащить + doxyxgen: вот и отчет по лабе.

> Для самой симпатичной студентки - echo. Для самого негодяя (или молчела этой студентки) - imap с набором расширений.

Симпатичные (по общественным понятиям) студентки в прошлом семестре причисляли The Bat! и Outlook к MTA, и не знали разницу между бинарными и текстовыми форматами, так что я пожалуй переставлю пункты местами....

>протоколы вычислительных сетей".

что нибудь про формальную спецификацию протокола, верификацию, и refinement воплощения автоматически.

Студентки шарят. Outlook это MUA и MSA/MTA одновременно. И много другой гадости.

> не знали разницу между бинарными и текстовыми форматами

А ты её знаешь? Сформулируй формальное определение.

Гы-гы.

http://www.linux.org.ru/books/GNU/autoconf/autoconf-ru_toc.html

http://www.linux.org.ru/books/GNU/automake/automake-ru_toc.html

> Что надо прочесть, чтобы понять autotools?

Кастаньеду

> что нибудь про формальную спецификацию протокола, верификацию, и refinement воплощения автоматически.

пп. 1-2 будут в других лабах. Но перед формальной спецификацией неплохо воплатить хотя бы одно RFC самостоятельно, а то они это сокращение даже не слышали.

> не знали разницу между бинарными и текстовыми форматами > А ты её знаешь? Сформулируй формальное определение.

Они не сказали никакого разумного. ;)

Формальное вводится для данных ненулевой длины достаточно корректно, по-моему.

> Студентки шарят.

Ну конечно. Категория МТА Аутлуком и Батом у них и ограничивалась.

> Outlook это MUA и MSA/MTA одновременно. И много другой гадости.

Доказательства того, что Outlook - MTA?

Рассматривался Outlook Express.

> что нибудь про формальную спецификацию протокола, верификацию, и refinement воплощения автоматически.

Что читать по последнему вопросу, авторы/ключевые слова/названия монографий? Пока нашел только применительно к B-method, но по этому чудо-методу я все не получу доступ к монографии, и я не уверен, что оно точно необходимо. Его на ВМК любят, судя по поану лекций.

http://squadette.ru/autotools-ru/index.html здесь есть неплохие статьи