Кілька копій одного файлу в результаті make / make install


0

У розроблювальному проекті, в якому я беру участь, у нас є декілька файлів у нашій папці src, які не потрібно компілювати (такі як файли python, спеціальний сценарій .bashrc і т.д.). Біг make копіює їх у нашу папку збирання і запускається make install потім (очевидно!) копіює їх до інсталяційного каталогу. Це означає, що ми маємо три копії текстових файлів, що плавають у системі.

Для нас це не має значення, файли невеликі, і точка користувацького сценарію .bashrc полягає в тому, щоб переконатися, що система користувачів використовує інсталяційну директорію для створення всіх джерел (включаючи власні модулі python).

Але чи це має значення? Чи повинні ми прибирати все так, щоб не було декількох копій однакових файлів? Або я просто будучи трохи OCD ...?


make не робить цього самого. Це зміст Makefile, зокрема реалізації копіювання для збирання реж і встановлення, що роблять це. Це те, що ви (або ваш колега по команді) написали і тому можете і повинні виправити. Оскільки мова йде про розвиток, то, напевно, варто попросити stackoverflow.com і описувати вміст вашого makefile.
Jan Hudec

@JanHudec Хм, я припускаю, що є дуже Тонка різниця між висловом make це не робить, це зміст Makefile - навіть якщо Makefile виконується лише тоді, коли make запускається ... Слід виправити? Це хороша практика? Або думка? Якщо є посилання на речі, які дають кращі поради з практики, я б зацікавився їх побачити :)
ChrisW

Різниця зовсім не тонка, тому що це зовсім різні місця для пошуку проблеми.
Jan Hudec

Що стосується "повинен". Краще за все не розміщувати нічого в каталозі установки, який не повинен бути там. Для каталогу збірок це не така проблема, і деякі інструменти змушують вас це робити. Але краще не уникати випадків, коли ви редагуєте іншу копію, ніж використовуєте, і дивуйтеся, чому зміни не набули чинності.
Jan Hudec

@JanHudec Я, очевидно, треба йти і робити набагато більше читати - я намагаюся зрозуміти не дуже тонку різницю ... Я також не зрозуміла, що буде вважатися "непотрібним" для папки установки, але є створити папку. Оскільки це призначено для завантаження та встановлення користувачами, я не можу придумати випадок, коли файл у папці збирання слід редагувати
ChrisW

Відповіді:


Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.