mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

After installing each grade with `--use-subdirs', remove

Browse Source 
Estimated hours taken: 0.1
Branches: main

Mmakefile:
	After installing each grade with `--use-subdirs', remove
	`Mercury/c_dates/*.c_date' as well as `Mercury/cs/*.c'
	in the library and browser directories.
This commit is contained in:
Simon Taylor
2001-10-02 00:47:40 +00:00
parent 0ed534c8a0
commit 0dffb3258a
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Mmakefile
View File

@@ -437,9 +437,11 @@ install_grades: scripts
( cd boehm_gc && rm -f *.$O *.pic_o *.$A *.so ) && \
( cd runtime && rm -f *.$O *.pic_o *.$A *.so ) && \
( cd library && rm -f *.dep *.h *.c *.c_date *.$O *.pic_o \
*.$A *.so Mercury/cs/*.c Mercury/os/*.$O ) && \
*.$A *.so Mercury/cs/*.c \
Mercury/c_dates/*.c_date Mercury/os/*.$O ) && \
( cd browser && rm -f *.dep *.h *.c *.c_date *.$O *.pic_o \
*.$A *.so Mercury/cs/*.c Mercury/os/*.$O ) && \
*.$A *.so Mercury/cs/*.c \
Mercury/c_dates/*.c_date Mercury/os/*.$O ) && \
( cd trace && rm -f *.$O *.pic_o *.$A *.so ) && \
true \
|| { scripts/mercury_cleanup_install; exit 1; }; \