Este é o comando patsopt que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
patsopt - compilador ATS2 para C
SINOPSE
patsopt [ ] [-o ]...
DESCRIÇÃO
patsopt é o compilador de ATS2 para C. É mais comumente invocado por patscc que é
o frontend preferido para compilar o código ATS2. Se nenhum nome de arquivo de saída for especificado, então
o padrão é a saída padrão. A opção de saída -o deve ser especificado antes de qualquer
outras especificações são fornecidas.
OPÇÕES
patsopt recebe uma série de comandos com parâmetros para determinar seu comportamento:
--depgen
Gere listas de dependências.
--gline
Gere informações de pragma de linha no código de destino.
-h, --Socorro
Imprima as informações de uso.
--taggen
Gere informações de marcação em entidades sintáticas.
-tc, --typecheck
Verifique os arquivos de origem ATS fornecidos, mas não prossiga.
-dentro, --versão
Mostra a versão ATS2 / Postiats e a versão gcc.
ESPECIFICAÇÕES
patsopt leva uma série de especificações de linha de comando dos arquivos a serem processados.
-d, --dinâmico
Carregue dinamicamente os nomes dos arquivos.
-ó, --resultado
Especifique o nome do arquivo de saída.
-sim, --estático
Carregar estaticamente os nomes dos arquivos.
EXEMPLOS
patsopt -o teste.c -d teste.dats
Compile test.dats em um arquivo C.
patsopt -tc -d teste.dats
Typecheck test.dats apenas.
Use patsopt online usando serviços onworks.net