| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
손효민
가입: 2024년 3월 4일 올린 글: 11
|
올려짐: 2024년4월1일 16:24 주제: dune build 질문 |
|
|
k.ml 파일을 작성한 뒤 k__ 폴더에서 dune build --release를 입력하면 다음과 같은 에러가 뜹니다. root 계정으로 모든 파일에 대해 chmod -R 777 명령을 실행 한 뒤에도 동일한 에러가 발생합니다. 평소에 ocamlc로 컴파일은 문제없이 되었으며 utop -init k.ml 로 실행 했을 때도 코드에 에러는 없었습니다. k__가 아닌 다른 디렉토리에서 명령을 입력해야 하나요? dune build를 어떻게 하면 되는지 조금만 더 자세히 알려주실 수 있습니까?
| 코드: | shmin2037@Hyomin:/mnt/c/Users/shmin/OneDrive/2024-1/프로그래밍 언어(이광
근)/homework3/k__$ dune build --release
File ".dune/_unknown_", line 1, characters 0-0:
Error: Error trying to read targets after a rule was run:
- .dune/configurator: chmod(_build/default/.dune/configurator): Operation not permitted
File ".dune/_unknown_", line 1, characters 0-0:
Error: Error trying to read targets after a rule was run:
- .dune/configurator.v2: chmod(_build/default/.dune/configurator.v2): Operation not permitted
File "k__/_unknown_", line 1, characters 0-0:
Error: Error trying to read targets after a rule was run:
- k__/k__.opam: chmod(_build/default/k__/k__.opam): Operation not permitted
File "k__/_unknown_", line 1, characters 0-0:
Error: Error trying to read targets after a rule was run:
- k__/META.k__: chmod(_build/default/k__/META.k__): Operation not permitted
File "k__/_unknown_", line 1, characters 0-0:
Error: Error trying to read targets after a rule was run:
- k__/k__.dune-package: chmod(_build/default/k__/k__.dune-package): Operation not permitted
File "k__/README.md", line 1, characters 0-0:
Error: Error trying to read targets after a rule was run:
- k__/README.md: chmod(_build/default/k__/README.md): Operation not permitted | [/code] |
|
| 위로 |
|
 |
이재호 Site Admin
가입: 2022년 3월 6일 올린 글: 209
|
올려짐: 2024년4월1일 16:43 주제: |
|
|
안녕하세요,
해당 문제로만 보아선 어떤 문제인지 알기가 어렵습니다.
경로에 한글과 띄어쓰기가 있다는 점이 조금 걸리긴 하는데요, 다른 디렉터리에서도 같은 문제가 발생하는지 확인해보실 수 있을까요?
혹시 학교에 계신다면 302동 312-2호로 방문주시면 도움을 드리도록 하겠습니다.
감사합니다.
조교 드림
TA 이재호
e-mail: jhlee@ropas.snu.ac.kr |
|
| 위로 |
|
 |
이재호 Site Admin
가입: 2022년 3월 6일 올린 글: 209
|
올려짐: 2024년4월1일 17:44 주제: |
|
|
지금 보니 OneDrive 안에서 실행한 것이 문제가 될 수도 있다는 생각도 듭니다.
감사합니다.
조교 드림
TA 이재호
e-mail: jhlee@ropas.snu.ac.kr |
|
| 위로 |
|
 |
손효민
가입: 2024년 3월 4일 올린 글: 11
|
올려짐: 2024년4월1일 17:55 주제: |
|
|
제가 18시 15분에 28동에서 수업을 마치는데 혹시 그 이후 방문해도 될까요?
폴더명을 영어로 바꿔보거나 OneDrive를 사용하지 않아도 동일한 에러가 발생합니다. |
|
| 위로 |
|
 |
이재호 Site Admin
가입: 2022년 3월 6일 올린 글: 209
|
올려짐: 2024년4월1일 17:59 주제: |
|
|
혹시 오늘 8시에 Zoom (튜토리얼 때 사용했던 개인 링크로) 으로 도와드릴 수 있을 것 같은데요, 괜찮으실까요?
감사합니다.
조교 드림
TA 이재호
e-mail: jhlee@ropas.snu.ac.kr |
|
| 위로 |
|
 |
손효민
가입: 2024년 3월 4일 올린 글: 11
|
올려짐: 2024년4월1일 18:07 주제: |
|
|
네, 가능합니다.
감사합니다. |
|
| 위로 |
|
 |
이재호 Site Admin
가입: 2022년 3월 6일 올린 글: 209
|
올려짐: 2024년4월1일 20:10 주제: |
|
|
궁금하신 분들을 위해 말씀드리자면, 해당 문제는 WSL에 설치된 dune을 통해 Windows 내에 있는 파일 시스템을 조작하려고 할 때 발생하는 문제였던 것으로 보입니다.
비슷한 문제를 겪고 계신 분들이 있다면, WSL 안의 파일시스템에 k__ / k_와 같은 프로젝트를 위치시킨 후 빌드를 하시면 문제 없이 빌드가 될 것입니다.
감사합니다.
조교 드림
TA 이재호
e-mail: jhlee@ropas.snu.ac.kr |
|
| 위로 |
|
 |
|