Install.ps1

param([string]$InstallDirectory)

$fileList = @(
    'ConvertTo-PSCustomObject.ps1',
    'New-FunctionFromSelectedText.ps1',
    'Edit-Live.ps1',
    'psharp.psm1'
)


if ('' -eq $InstallDirectory)
{
    $personalModules = Join-Path -Path ([Environment]::GetFolderPath('MyDocuments')) -ChildPath WindowsPowerShell\Modules
    if (($env:PSModulePath -split ';') -notcontains $personalModules)
    {
        Write-Warning "$personalModules is not in `$env:PSModulePath"
    }

    if (!(Test-Path $personalModules))
    {
        Write-Error "$personalModules does not exist"
    }

    $InstallDirectory = Join-Path -Path $personalModules -ChildPath PSharp
}

if (!(Test-Path $InstallDirectory))
{
    $null = mkdir $InstallDirectory    
}

$wc = New-Object System.Net.WebClient
$fileList | 
    ForEach-Object {
        $wc.DownloadFile("https://raw.github.com/dfinke/PSharp/master/$_","$installDirectory\$_")
    }