aerscript/Aer
0
5
포크 0
코드 이슈 6 풀 리퀘스트 릴리즈 2 위키 활동

Makefile update #8

닫힘
devnexen "multi_platform 에서 dev 로 1 commits 를 머지하려 합니다"
다음으로부터 풀: multi_platform
병합하기: aerscript:dev
대화 1 커밋 1 파일 변경됨 1 +19
devnexen 코멘트됨, 2018-07-16 17:49:37 +02:00
멤버
Copy Link
No description provided.
belliash 코멘트됨, 2018-07-16 22:15:18 +02:00
소유자
Copy Link

I think this is minor, until you need this to build PSharp, as we need to completely rewrite the Makefile. After implementing dynamic library support, we will divide the code to modules.

I think this is minor, until you need this to build PSharp, as we need to completely rewrite the Makefile. After implementing dynamic library support, we will divide the code to modules.
belliash closed this pull request 2018-07-16 22:15:19 +02:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.
"로그인하여 이 대화에 참여"
리뷰어
No reviewers
레이블
레이블 초기화   
aerscript

Changes related to Aer specification

  
bug

Something is not working

  
duplicate

This issue or pull request already exists

  
enhancement

New feature

  
help wanted

Need some help

  
idea

This is an idea

  
question

More information is needed

  
won't fix

This won't be fixed

레이블 없음
aerscript
bug
duplicate
enhancement
help wanted
idea
question
won't fix
마일스톤
마일스톤 초기화
No items
마일스톤 없음
담당자
담당자 초기화
담당자 없음
참여자 2명
알림
마감일
기한이 올바르지 않거나 범위를 벗어났습니다. 'yyyy-mm-dd'형식을 사용해주십시오.

마감일이 설정되지 않았습니다.

의존성

No dependencies set.

Reference: aerscript/Aer#8
No description provided.
Delete Branch "multi_platform"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?