aerscript
/
Aer
0
6
複製 0
程式碼 問題管理 6 合併請求 版本發佈 2 Wiki Activity

Makefile update #8

已關閉
devnexen wants to merge 1 commits from multi_platform into dev
pull from: multi_platform
merge into: aerscript:dev
對話內容 1 程式碼提交 1 Files Changed 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.
登入 才能加入這對話。
Reviewers
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
未選擇里程碑
Assignees
Clear assignees
No Assignees
2 參與者
訊息
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

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?