aerscript
/
Aer
0
6
Fork 0
Código Issues 6 Pull requests Versões 2 Wiki Atividade

Makefile update #8

Fechado
devnexen quer aplicar o merge de 1 commits de multi_platform em dev
pull de: multi_platform
merge em: aerscript:dev
Conversação 1 Commits 1 Arquivos alterados 1 +19
devnexen comentou 2018-07-16 17:49:37 +02:00
Membro
Copiar link
Nenhuma descrição fornecida.
belliash comentou 2018-07-16 22:15:18 +02:00
Proprietário
Copiar 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 fechou este pull request 2018-07-16 22:15:19 +02:00

Pull Request Fechado

Este pull request não pode ser reaberto porque o branch foi excluído.
Acesse para participar desta conversação.
Revisores
Sem revisor
Etiquetas
Limpar etiquetas   
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

Sem etiqueta
aerscript
bug
duplicate
enhancement
help wanted
idea
question
won't fix
Marco
Limpar marco
Nenhum item
Sem marco
Responsáveis
Limpar responsáveis
Sem responsável
2 participante(s)
Notificações
Data limite
A data limite é inválida ou está fora do intervalo. Por favor, use o formato 'dd/mm/aaaa'.

Data limite não informada.

Dependências

Nenhuma dependência definida.

Referência: aerscript/Aer#8
Nenhuma descrição fornecida.
Excluir 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?